Verfügbarkeit: Solvable cases of the decision problem

Solvable cases of the decision problem:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ackermann, Wilhelm 1896-1962 (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Amsterdam North-Holland Pub. Co. 1954
Schriftenreihe:	Studies in logic and the foundations of mathematics
Schlagworte:	Logique symbolique et mathématique Prise de décision Logic, Symbolic and mathematical Unentscheidbarkeit Lösung > Chemie Entscheidungsproblem Prädikatenkalkül Entscheidungstheorie
Online-Zugang:	Volltext
Beschreibung:	Includes bibliographical references
Beschreibung:	1 Online-Ressource (114 p.)
ISBN:	9780444533807 044453380X

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV042317378
003	DE-604
005	20240111
007	cr\|uuu---uuuuu
008	150129s1954 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9780444533807 \|9 978-0-444-53380-7
020			\|a 044453380X \|9 0-444-53380-X
035			\|a (OCoLC)297999524
035			\|a (DE-599)BVBBV042317378
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-1046 \|a DE-706
082	0		\|a 164
100	1		\|a Ackermann, Wilhelm \|d 1896-1962 \|e Verfasser \|0 (DE-588)116006080 \|4 aut
245	1	0	\|a Solvable cases of the decision problem
264		1	\|a Amsterdam \|b North-Holland Pub. Co. \|c 1954
300			\|a 1 Online-Ressource (114 p.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Studies in logic and the foundations of mathematics
500			\|a Includes bibliographical references
650		4	\|a Logique symbolique et mathématique
650		4	\|a Prise de décision
650		7	\|a Logic, Symbolic and mathematical \|2 fast
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Unentscheidbarkeit \|0 (DE-588)4294363-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Lösung \|g Chemie \|0 (DE-588)4036159-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidungsproblem \|0 (DE-588)4253928-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prädikatenkalkül \|0 (DE-588)4175518-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidungstheorie \|0 (DE-588)4138606-1 \|2 gnd \|9 rswk-swf
689	0	0	\|a Prädikatenkalkül \|0 (DE-588)4175518-2 \|D s
689	0	1	\|a Entscheidungsproblem \|0 (DE-588)4253928-6 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Entscheidungsproblem \|0 (DE-588)4253928-6 \|D s
689	1	1	\|a Lösung \|g Chemie \|0 (DE-588)4036159-7 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Entscheidungstheorie \|0 (DE-588)4138606-1 \|D s
689	2		\|8 3\p \|5 DE-604
689	3	0	\|a Unentscheidbarkeit \|0 (DE-588)4294363-2 \|D s
689	3		\|8 4\p \|5 DE-604
856	4	0	\|u http://www.sciencedirect.com/science/book/9780444533807 \|x Verlag \|3 Volltext
912			\|a ZDB-33-ESD \|a ZDB-33-EBS
940	1		\|q FAW_PDA_ESD
940	1		\|q FLA_PDA_ESD
999			\|a oai:aleph.bib-bvb.de:BVB01-027754368
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804152913750130688
any_adam_object
author	Ackermann, Wilhelm 1896-1962
author_GND	(DE-588)116006080
author_facet	Ackermann, Wilhelm 1896-1962
author_role	aut
author_sort	Ackermann, Wilhelm 1896-1962
author_variant	w a wa
building	Verbundindex
bvnumber	BV042317378
collection	ZDB-33-ESD ZDB-33-EBS
ctrlnum	(OCoLC)297999524 (DE-599)BVBBV042317378
dewey-full	164
dewey-hundreds	100 - Philosophy & psychology
dewey-ones	164 - [Unassigned]
dewey-raw	164
dewey-search	164
dewey-sort	3164
dewey-tens	160 - Philosophical logic
discipline	Philosophie
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02470nmm a2200625zc 4500</leader><controlfield tag="001">BV042317378</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240111 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150129s1954 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444533807</subfield><subfield code="9">978-0-444-53380-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">044453380X</subfield><subfield code="9">0-444-53380-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)297999524</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317378</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ackermann, Wilhelm</subfield><subfield code="d">1896-1962</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)116006080</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Solvable cases of the decision problem</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Pub. Co.</subfield><subfield code="c">1954</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (114 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prise de décision</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lösung</subfield><subfield code="g">Chemie</subfield><subfield code="0">(DE-588)4036159-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidungsproblem</subfield><subfield code="0">(DE-588)4253928-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidungstheorie</subfield><subfield code="0">(DE-588)4138606-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Entscheidungsproblem</subfield><subfield code="0">(DE-588)4253928-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Entscheidungsproblem</subfield><subfield code="0">(DE-588)4253928-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Lösung</subfield><subfield code="g">Chemie</subfield><subfield code="0">(DE-588)4036159-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Entscheidungstheorie</subfield><subfield code="0">(DE-588)4138606-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444533807</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754368</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
id	DE-604.BV042317378
illustrated	Not Illustrated
indexdate	2024-07-10T01:18:16Z
institution	BVB
isbn	9780444533807 044453380X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027754368
oclc_num	297999524
open_access_boolean
owner	DE-1046 DE-706
owner_facet	DE-1046 DE-706
physical	1 Online-Ressource (114 p.)
psigel	ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD
publishDate	1954
publishDateSearch	1954
publishDateSort	1954
publisher	North-Holland Pub. Co.
record_format	marc
series2	Studies in logic and the foundations of mathematics
spelling	Ackermann, Wilhelm 1896-1962 Verfasser (DE-588)116006080 aut Solvable cases of the decision problem Amsterdam North-Holland Pub. Co. 1954 1 Online-Ressource (114 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics Includes bibliographical references Logique symbolique et mathématique Prise de décision Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Unentscheidbarkeit (DE-588)4294363-2 gnd rswk-swf Lösung Chemie (DE-588)4036159-7 gnd rswk-swf Entscheidungsproblem (DE-588)4253928-6 gnd rswk-swf Prädikatenkalkül (DE-588)4175518-2 gnd rswk-swf Entscheidungstheorie (DE-588)4138606-1 gnd rswk-swf Prädikatenkalkül (DE-588)4175518-2 s Entscheidungsproblem (DE-588)4253928-6 s 1\p DE-604 Lösung Chemie (DE-588)4036159-7 s 2\p DE-604 Entscheidungstheorie (DE-588)4138606-1 s 3\p DE-604 Unentscheidbarkeit (DE-588)4294363-2 s 4\p DE-604 http://www.sciencedirect.com/science/book/9780444533807 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Ackermann, Wilhelm 1896-1962 Solvable cases of the decision problem Logique symbolique et mathématique Prise de décision Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Unentscheidbarkeit (DE-588)4294363-2 gnd Lösung Chemie (DE-588)4036159-7 gnd Entscheidungsproblem (DE-588)4253928-6 gnd Prädikatenkalkül (DE-588)4175518-2 gnd Entscheidungstheorie (DE-588)4138606-1 gnd
subject_GND	(DE-588)4294363-2 (DE-588)4036159-7 (DE-588)4253928-6 (DE-588)4175518-2 (DE-588)4138606-1
title	Solvable cases of the decision problem
title_auth	Solvable cases of the decision problem
title_exact_search	Solvable cases of the decision problem
title_full	Solvable cases of the decision problem
title_fullStr	Solvable cases of the decision problem
title_full_unstemmed	Solvable cases of the decision problem
title_short	Solvable cases of the decision problem
title_sort	solvable cases of the decision problem
topic	Logique symbolique et mathématique Prise de décision Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Unentscheidbarkeit (DE-588)4294363-2 gnd Lösung Chemie (DE-588)4036159-7 gnd Entscheidungsproblem (DE-588)4253928-6 gnd Prädikatenkalkül (DE-588)4175518-2 gnd Entscheidungstheorie (DE-588)4138606-1 gnd
topic_facet	Logique symbolique et mathématique Prise de décision Logic, Symbolic and mathematical Unentscheidbarkeit Lösung Chemie Entscheidungsproblem Prädikatenkalkül Entscheidungstheorie
url	http://www.sciencedirect.com/science/book/9780444533807
work_keys_str_mv	AT ackermannwilhelm solvablecasesofthedecisionproblem

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge