Holdings: Theorem proving with analytic tableaux and related methods

Theorem proving with analytic tableaux and related methods: 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 1996
Series:	Lecture notes in computer science 1071 : Lecture notes in artificial intelligence
Subjects:	Automatic theorem proving > Congresses Nonclassical mathematical logic > Congresses Logic, Symbolic and mathematical > Congresses Automatisches Beweisverfahren Konferenzschrift > 1996 > Terrasini Favarotta
Online Access:	Volltext
Physical Description:	1 Online-Ressource (X, 329 S. graph. Darst.)
ISBN:	3540612084
DOI:	10.1007/3-540-61208-4

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV035267039
003	DE-604
007	cr\|uuu---uuuuu
008	090123s1996 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 3540612084 \|9 3-540-61208-4
024	7		\|a 10.1007/3-540-61208-4 \|2 doi
035			\|a (OCoLC)605145788
035			\|a (DE-599)BVBBV035267039
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 1996
082	0		\|a 511.3 20
084			\|a DAT 706f \|2 stub
084			\|a 28 \|2 sdnb
245	1	0	\|a Theorem proving with analytic tableaux and related methods \|b 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings \|c P. Miglioli ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 1996
300			\|a 1 Online-Ressource (X, 329 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 1071 : 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 1996 \|z Terrasini Favarotta \|2 gnd-content
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|5 DE-604
700	1		\|a Miglioli, Pierangelo \|e Sonstige \|4 oth
711	2		\|a Workshop on Theorem Proving with Analytic Tableaux and Related Methods \|n 5 \|d 1996 \|c Terrasini Favarotta \|j Sonstige \|0 (DE-588)2155064-5 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1071 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 1071
856	4	0	\|u https://doi.org/10.1007/3-540-61208-4 \|x Verlag \|3 Volltext
912			\|a ZDB-1-SLN
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017072473

Record in the Search Index

_version_	1820868208521904128
adam_text
any_adam_object
building	Verbundindex
bvnumber	BV035267039
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.A96T33 1996
callnumber-search	QA76.9.A96T33 1996
callnumber-sort	QA 276.9 A96 T33 41996
callnumber-subject	QA - Mathematics
classification_rvk	SS 1996 SS 4800
classification_tum	DAT 706f
collection	ZDB-1-SLN ZDB-2-LNC
ctrlnum	(OCoLC)605145788 (DE-599)BVBBV035267039
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/3-540-61208-4
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">BV035267039</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">090123s1996 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540612084</subfield><subfield code="9">3-540-61208-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-61208-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)605145788</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035267039</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 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3 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">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">5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings</subfield><subfield code="c">P. Miglioli ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 329 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">1071 : 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">1996</subfield><subfield code="z">Terrasini Favarotta</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">Miglioli, Pierangelo</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">5</subfield><subfield code="d">1996</subfield><subfield code="c">Terrasini Favarotta</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2155064-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">1071 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1071</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-61208-4</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-017072473</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1996 Terrasini Favarotta gnd-content
genre_facet	Konferenzschrift 1996 Terrasini Favarotta
id	DE-604.BV035267039
illustrated	Illustrated
indexdate	2025-01-10T13:20:43Z
institution	BVB
institution_GND	(DE-588)2155064-5
isbn	3540612084
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017072473
oclc_num	605145788
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, 329 S. graph. Darst.)
psigel	ZDB-1-SLN ZDB-2-LNC
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
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 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings P. Miglioli ... (eds.) Berlin [u.a.] Springer 1996 1 Online-Ressource (X, 329 S. graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1071 : 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 1996 Terrasini Favarotta gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Miglioli, Pierangelo Sonstige oth Workshop on Theorem Proving with Analytic Tableaux and Related Methods 5 1996 Terrasini Favarotta Sonstige (DE-588)2155064-5 oth Lecture notes in computer science 1071 : Lecture notes in artificial intelligence (DE-604)BV014880109 1071 https://doi.org/10.1007/3-540-61208-4 Verlag Volltext
spellingShingle	Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; 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 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings
title_auth	Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings
title_exact_search	Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings
title_full	Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings P. Miglioli ... (eds.)
title_fullStr	Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings P. Miglioli ... (eds.)
title_full_unstemmed	Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings P. Miglioli ... (eds.)
title_short	Theorem proving with analytic tableaux and related methods
title_sort	theorem proving with analytic tableaux and related methods 5th international workshop tableaux 96 terrasini palermo italy may 15 17 1996 proceedings
title_sub	5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; 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 1996 Terrasini Favarotta
url	https://doi.org/10.1007/3-540-61208-4
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT migliolipierangelo theoremprovingwithanalytictableauxandrelatedmethods5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings AT workshopontheoremprovingwithanalytictableauxandrelatedmethodsterrasinifavarotta theoremprovingwithanalytictableauxandrelatedmethods5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings

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