Verfügbarkeit: Computational logic and proof theory

Computational logic and proof theory: third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 1993
Schriftenreihe:	Lecture notes in computer science 713
Schlagworte:	Automatic theorem proving > Congresses Logic, Symbolic and mathematical > Congresses Mathematische Logik Logische Programmierung Beweistheorie Computational logic Konferenzschrift > 1993 > Brünn
Online-Zugang:	Volltext
Beschreibung:	1 Online-Ressource (XI, 348 S. graph. Darst.)
ISBN:	3540571841 0387571841
DOI:	10.1007/BFb0022546

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV035719737
003	DE-604
005	00000000000000.0
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	090910s1993 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 3540571841 \|9 3-540-57184-1
020			\|a 0387571841 \|9 0-387-57184-1
024	7		\|a 10.1007/BFb0022546 \|2 doi
035			\|a (OCoLC)610835631
035			\|a (DE-599)BVBBV035719737
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-634 \|a DE-210 \|a DE-Aug4 \|a DE-M347 \|a DE-860 \|a DE-70 \|a DE-91 \|a DE-384 \|a DE-473 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-706 \|a DE-1046 \|a DE-526 \|a DE-521 \|a DE-573 \|a DE-523
050		0	\|a QA76.9.A96K87 1993
082	0		\|a 511.3 20
084			\|a SS 1993 \|0 (DE-625)143430: \|2 rvk
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 542f \|2 stub
084			\|a 27 \|2 sdnb
084			\|a 28 \|2 sdnb
084			\|a MAT 036f \|2 stub
245	1	0	\|a Computational logic and proof theory \|b third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings \|c Georg Gottlob ... (eds.)
264		1	\|a Berlin u.a. \|b Springer \|c 1993
300			\|a 1 Online-Ressource (XI, 348 S. \|b graph. Darst.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 713
650		4	\|a Automatic theorem proving -- Congresses
650		4	\|a Logic, Symbolic and mathematical -- Congresses
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Computational logic \|0 (DE-588)4255672-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1993 \|z Brünn \|2 gnd-content
689	0	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0	1	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Computational logic \|0 (DE-588)4255672-7 \|D s
689	1		\|5 DE-604
689	2	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	2	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2		\|8 1\p \|5 DE-604
700	1		\|a Gottlob, Georg \|d 1956- \|e Sonstige \|0 (DE-588)120954001 \|4 oth
711	2		\|a Kurt Gödel Colloquium \|n 3 \|d 1993 \|c Brünn \|j Sonstige \|0 (DE-588)2130875-5 \|4 oth
830		0	\|a Lecture notes in computer science \|v 713 \|w (DE-604)BV014880109 \|9 713
856	4	0	\|u https://doi.org/10.1007/BFb0022546 \|x Verlag \|3 Volltext
912			\|a ZDB-1-SLN \|a ZDB-2-LNC
999			\|a oai:aleph.bib-bvb.de:BVB01-017996546
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804139930216038400
any_adam_object
author_GND	(DE-588)120954001
building	Verbundindex
bvnumber	BV035719737
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.A96K87 1993
callnumber-search	QA76.9.A96K87 1993
callnumber-sort	QA 276.9 A96 K87 41993
callnumber-subject	QA - Mathematics
classification_rvk	SS 1993 SS 4800
classification_tum	DAT 542f MAT 036f
collection	ZDB-1-SLN ZDB-2-LNC
ctrlnum	(OCoLC)610835631 (DE-599)BVBBV035719737
dewey-full	511.320
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3 20
dewey-search	511.3 20
dewey-sort	3511.3 220
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
doi_str_mv	10.1007/BFb0022546
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02687nmm a2200649 cb4500</leader><controlfield tag="001">BV035719737</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">090910s1993 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540571841</subfield><subfield code="9">3-540-57184-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387571841</subfield><subfield code="9">0-387-57184-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BFb0022546</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610835631</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035719737</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96K87 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1993</subfield><subfield code="0">(DE-625)143430:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational logic and proof theory</subfield><subfield code="b">third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings</subfield><subfield code="c">Georg Gottlob ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 348 S.</subfield><subfield code="b">graph. Darst.)</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">713</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Brünn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gottlob, Georg</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120954001</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Kurt Gödel Colloquium</subfield><subfield code="n">3</subfield><subfield code="d">1993</subfield><subfield code="c">Brünn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2130875-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">713</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">713</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/BFb0022546</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017996546</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></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1993 Brünn gnd-content
genre_facet	Konferenzschrift 1993 Brünn
id	DE-604.BV035719737
illustrated	Not Illustrated
indexdate	2024-07-09T21:51:54Z
institution	BVB
institution_GND	(DE-588)2130875-5
isbn	3540571841 0387571841
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017996546
oclc_num	610835631
open_access_boolean
owner	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
owner_facet	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
physical	1 Online-Ressource (XI, 348 S. graph. Darst.)
psigel	ZDB-1-SLN ZDB-2-LNC
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings Georg Gottlob ... (eds.) Berlin u.a. Springer 1993 1 Online-Ressource (XI, 348 S. graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 713 Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Brünn gnd-content Beweistheorie (DE-588)4145177-6 s Logische Programmierung (DE-588)4195096-3 s DE-604 Computational logic (DE-588)4255672-7 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Gottlob, Georg 1956- Sonstige (DE-588)120954001 oth Kurt Gödel Colloquium 3 1993 Brünn Sonstige (DE-588)2130875-5 oth Lecture notes in computer science 713 (DE-604)BV014880109 713 https://doi.org/10.1007/BFb0022546 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings Lecture notes in computer science Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Mathematische Logik (DE-588)4037951-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Beweistheorie (DE-588)4145177-6 gnd Computational logic (DE-588)4255672-7 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4195096-3 (DE-588)4145177-6 (DE-588)4255672-7 (DE-588)1071861417
title	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings
title_auth	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings
title_exact_search	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings
title_full	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings Georg Gottlob ... (eds.)
title_fullStr	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings Georg Gottlob ... (eds.)
title_full_unstemmed	Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings Georg Gottlob ... (eds.)
title_short	Computational logic and proof theory
title_sort	computational logic and proof theory third kurt godel colloquium kgc 93 brno czech republic august 24 27 1993 proceedings
title_sub	third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings
topic	Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Mathematische Logik (DE-588)4037951-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Beweistheorie (DE-588)4145177-6 gnd Computational logic (DE-588)4255672-7 gnd
topic_facet	Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Mathematische Logik Logische Programmierung Beweistheorie Computational logic Konferenzschrift 1993 Brünn
url	https://doi.org/10.1007/BFb0022546
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT gottlobgeorg computationallogicandprooftheorythirdkurtgodelcolloquiumkgc93brnoczechrepublicaugust24271993proceedings AT kurtgodelcolloquiumbrunn computationallogicandprooftheorythirdkurtgodelcolloquiumkgc93brnoczechrepublicaugust24271993proceedings

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