Holdings: Theorem proving with analytic tableaux and related methods

Theorem proving with analytic tableaux and related methods: 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 1995
Series:	Lecture notes in computer science 918 : Lecture notes in artificial intelligence
Subjects:	Automatic theorem proving > Congresses Nonclassical mathematical logic > Congresses Logic, Symbolic and mathematical > Congresses Automatisches Beweisverfahren Konferenzschrift > 1995 > Sankt Goar
Online Access:	Volltext
Physical Description:	1 Online-Ressource (X, 352 S.)
ISBN:	3540593381
DOI:	10.1007/3-540-59338-1

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV035599745
003	DE-604
007	cr\|uuu---uuuuu
008	090703s1995 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540593381 \|9 3-540-59338-1
024	7		\|a 10.1007/3-540-59338-1 \|2 doi
035			\|a (OCoLC)845514991
035			\|a (DE-599)BVBBV035599745
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-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-1046 \|a DE-706 \|a DE-526 \|a DE-521 \|a DE-573 \|a DE-523
050		0	\|a QA76.9.A96T33 1995
082	0		\|a 005.1/1 20
084			\|a DAT 706f \|2 stub
084			\|a 27 \|2 sdnb
084			\|a 28 \|2 sdnb
245	1	0	\|a Theorem proving with analytic tableaux and related methods \|b 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings \|c Peter Baumgartner ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 1995
300			\|a 1 Online-Ressource (X, 352 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 918 : Lecture notes in artificial intelligence
650		4	\|a Automatic theorem proving -- Congresses
650		4	\|a Nonclassical mathematical logic -- Congresses
650		4	\|a Logic, Symbolic and mathematical -- Congresses
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1995 \|z Sankt Goar \|2 gnd-content
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|5 DE-604
700	1		\|a Baumgartner, Peter \|e Sonstige \|4 oth
711	2		\|a Workshop on Theorem Proving with Analytic Tableaux and Related Methods \|n 4 \|d 1995 \|c Sankt Goar \|j Sonstige \|0 (DE-588)2145737-2 \|4 oth
830		0	\|a Lecture notes in computer science \|v 918 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 918
856	4	0	\|u https://doi.org/10.1007/3-540-59338-1 \|x Verlag \|3 Volltext
912			\|a ZDB-1-SLN
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017654818

Record in the Search Index

_version_	1820868280482529280
adam_text
any_adam_object
building	Verbundindex
bvnumber	BV035599745
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.A96T33 1995
callnumber-search	QA76.9.A96T33 1995
callnumber-sort	QA 276.9 A96 T33 41995
callnumber-subject	QA - Mathematics
classification_rvk	SS 1995 SS 4800
classification_tum	DAT 706f
collection	ZDB-1-SLN ZDB-2-LNC
ctrlnum	(OCoLC)845514991 (DE-599)BVBBV035599745
dewey-full	005.1/120
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1/1 20
dewey-search	005.1/1 20
dewey-sort	15.1 11 220
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/3-540-59338-1
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035599745</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">090703s1995 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540593381</subfield><subfield code="9">3-540-59338-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-59338-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845514991</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035599745</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">XA-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-1046</subfield><subfield code="a">DE-706</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.A96T33 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/1 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</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="245" ind1="1" ind2="0"><subfield code="a">Theorem proving with analytic tableaux and related methods</subfield><subfield code="b">4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings</subfield><subfield code="c">Peter Baumgartner ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 352 S.)</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">918 : Lecture notes in artificial intelligence</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">Nonclassical mathematical logic -- 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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">1995</subfield><subfield code="z">Sankt Goar</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baumgartner, Peter</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Theorem Proving with Analytic Tableaux and Related Methods</subfield><subfield code="n">4</subfield><subfield code="d">1995</subfield><subfield code="c">Sankt Goar</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2145737-2</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">918 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">918</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-59338-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017654818</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1995 Sankt Goar gnd-content
genre_facet	Konferenzschrift 1995 Sankt Goar
id	DE-604.BV035599745
illustrated	Not Illustrated
indexdate	2025-01-10T13:21:52Z
institution	BVB
institution_GND	(DE-588)2145737-2
isbn	3540593381
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017654818
oclc_num	845514991
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-1046 DE-706 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-1046 DE-706 DE-526 DE-521 DE-573 DE-523
physical	1 Online-Ressource (X, 352 S.)
psigel	ZDB-1-SLN ZDB-2-LNC
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings Peter Baumgartner ... (eds.) Berlin [u.a.] Springer 1995 1 Online-Ressource (X, 352 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 918 : Lecture notes in artificial intelligence Automatic theorem proving -- Congresses Nonclassical mathematical logic -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Sankt Goar gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Baumgartner, Peter Sonstige oth Workshop on Theorem Proving with Analytic Tableaux and Related Methods 4 1995 Sankt Goar Sonstige (DE-588)2145737-2 oth Lecture notes in computer science 918 : Lecture notes in artificial intelligence (DE-604)BV014880109 918 https://doi.org/10.1007/3-540-59338-1 Verlag Volltext
spellingShingle	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings Lecture notes in computer science Automatic theorem proving -- Congresses Nonclassical mathematical logic -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4069034-9 (DE-588)1071861417
title	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings
title_auth	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings
title_exact_search	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings
title_full	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings Peter Baumgartner ... (eds.)
title_fullStr	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings Peter Baumgartner ... (eds.)
title_full_unstemmed	Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings Peter Baumgartner ... (eds.)
title_short	Theorem proving with analytic tableaux and related methods
title_sort	theorem proving with analytic tableaux and related methods 4th international workshop tableaux 95 schloß rheinfels st goar germany may 7 10 1995 proceedings
title_sub	4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings
topic	Automatic theorem proving -- Congresses Nonclassical mathematical logic -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Automatic theorem proving -- Congresses Nonclassical mathematical logic -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren Konferenzschrift 1995 Sankt Goar
url	https://doi.org/10.1007/3-540-59338-1
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT baumgartnerpeter theoremprovingwithanalytictableauxandrelatedmethods4thinternationalworkshoptableaux95schloßrheinfelsstgoargermanymay7101995proceedings AT workshopontheoremprovingwithanalytictableauxandrelatedmethodssanktgoar theoremprovingwithanalytictableauxandrelatedmethods4thinternationalworkshoptableaux95schloßrheinfelsstgoargermanymay7101995proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items