Verfügbarkeit: Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2007
Schriftenreihe:	Lecture Notes in Computer Science 4548 : Lecture notes in artificial intelligence
Schlagworte:	Automatisches Beweisverfahren Konferenzschrift > 2007 > Aix-en-Provence
Online-Zugang:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 DE-355 Volltext
Beschreibung:	1 Online-Ressource (X, 244 S.) graph. Darst.
ISBN:	9783540730989 9783540730996
DOI:	10.1007/978-3-540-73099-6

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV023365536
003	DE-604
005	20080709
007	cr\|uuu---uuuuu
008	080626s2007 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783540730989 \|9 978-3-540-73098-9
020			\|a 9783540730996 \|c Online \|9 978-3-540-73099-6
024	7		\|a 10.1007/978-3-540-73099-6 \|2 doi
035			\|a (OCoLC)255604367
035			\|a (DE-599)BVBBV023365536
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-19 \|a DE-473 \|a DE-706 \|a DE-91 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 004.015113
084			\|a 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Automated reasoning with analytic tableaux and related methods \|b 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings \|c Nicola Olivetti (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a 1 Online-Ressource (X, 244 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 4548 : Lecture notes in artificial intelligence
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 2007 \|z Aix-en-Provence \|2 gnd-content
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|5 DE-604
700	1		\|a Olivetti, Nicola \|e Sonstige \|4 oth
711	2		\|a International Conference on Automated Reasoning with Analytic Tableaux and Related Methods \|n 16 \|d 2007 \|c Aix-en-Provence \|j Sonstige \|0 (DE-588)6065951-8 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 4548 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 4548
856	4	0	\|u https://doi.org/10.1007/978-3-540-73099-6 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016548903
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73099-6 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875044628201472
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV023365536
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 000
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255604367 (DE-599)BVBBV023365536
dewey-full	004.015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.015113
dewey-search	004.015113
dewey-sort	14.015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-540-73099-6
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">BV023365536</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080709</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">080626s2007 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540730989</subfield><subfield code="9">978-3-540-73098-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540730996</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-73099-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-73099-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255604367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023365536</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-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated reasoning with analytic tableaux and related methods</subfield><subfield code="b">16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings</subfield><subfield code="c">Nicola Olivetti (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 244 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">4548 : Lecture notes in artificial intelligence</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">2007</subfield><subfield code="z">Aix-en-Provence</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">Olivetti, Nicola</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Automated Reasoning with Analytic Tableaux and Related Methods</subfield><subfield code="n">16</subfield><subfield code="d">2007</subfield><subfield code="c">Aix-en-Provence</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6065951-8</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">4548 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4548</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016548903</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73099-6</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2007 Aix-en-Provence gnd-content
genre_facet	Konferenzschrift 2007 Aix-en-Provence
id	DE-604.BV023365536
illustrated	Illustrated
index_date	2024-07-02T21:10:39Z
indexdate	2025-01-10T15:09:23Z
institution	BVB
institution_GND	(DE-588)6065951-8
isbn	9783540730989 9783540730996
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016548903
oclc_num	255604367
open_access_boolean
owner	DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (X, 244 S.) graph. Darst.
psigel	ZDB-2-SCS
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings Nicola Olivetti (ed.) Berlin [u.a.] Springer 2007 1 Online-Ressource (X, 244 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 4548 : Lecture notes in artificial intelligence Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Aix-en-Provence gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Olivetti, Nicola Sonstige oth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 16 2007 Aix-en-Provence Sonstige (DE-588)6065951-8 oth Lecture Notes in Computer Science 4548 : Lecture notes in artificial intelligence (DE-604)BV014880109 4548 https://doi.org/10.1007/978-3-540-73099-6 Verlag Volltext
spellingShingle	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings Lecture Notes in Computer Science Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4069034-9 (DE-588)1071861417
title	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings
title_auth	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings
title_exact_search	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings
title_exact_search_txtP	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings
title_full	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings Nicola Olivetti (ed.)
title_fullStr	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings Nicola Olivetti (ed.)
title_full_unstemmed	Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings Nicola Olivetti (ed.)
title_short	Automated reasoning with analytic tableaux and related methods
title_sort	automated reasoning with analytic tableaux and related methods 16th international conference tableaux 2007 aix en provence france july 3 6 2007 proceedings
title_sub	16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings
topic	Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Automatisches Beweisverfahren Konferenzschrift 2007 Aix-en-Provence
url	https://doi.org/10.1007/978-3-540-73099-6
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT olivettinicola automatedreasoningwithanalytictableauxandrelatedmethods16thinternationalconferencetableaux2007aixenprovencefrancejuly362007proceedings AT internationalconferenceonautomatedreasoningwithanalytictableauxandrelatedmethodsaixenprovence automatedreasoningwithanalytictableauxandrelatedmethods16thinternationalconferencetableaux2007aixenprovencefrancejuly362007proceedings

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