Availability: Handbook of automated reasoning | Technische Universität München

Saved in:

Bibliographic Details
Other Authors:	Robinson, John A. 1930-2016 (Editor), Voronkov, Andrei 1959- (Editor)
Format:	Electronic eBook
Language:	English
Published:	Amsterdam [u.a.] Elsevier [u.a.] 2001
Subjects:	Automatic theorem proving Qualitative reasoning Automatisches Beweisverfahren
Links:	http://www.sciencedirect.com/science/book/9780444508133 http://www.sciencedirect.com/science/book/9780444508133 http://www.sciencedirect.com/science/book/9780444508133
Item Description:	Online-Ressource eines mehrbändigen begrenzenten Werkes
Physical Description:	1 Online-Ressource (XXV, 2122 S.)
ISBN:	9780080532790

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV042307533
003	DE-604
005	20210510
007	cr\|uuu---uuuuu
008	150129s2001 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9780080532790 \|c Online \|9 978-0-08-053279-0
035			\|a (OCoLC)162578801
035			\|a (DE-599)BVBBV042307533
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-1046 \|a DE-188
082	0		\|a 511.3 \|2 22
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 304 \|0 (DE-625)143653: \|2 rvk
084			\|a ST 285 \|0 (DE-625)143648: \|2 rvk
084			\|a ST 300 \|0 (DE-625)143650: \|2 rvk
245	1	0	\|a Handbook of automated reasoning \|c ed.: Alan Robinson and Andrei Voronkov
264		1	\|a Amsterdam [u.a.] \|b Elsevier [u.a.] \|c 2001
300			\|a 1 Online-Ressource (XXV, 2122 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Online-Ressource eines mehrbändigen begrenzenten Werkes
650		7	\|a Automatic theorem proving \|2 fast
650		7	\|a Qualitative reasoning \|2 fast
650		4	\|a Automatic theorem proving
650		4	\|a Qualitative reasoning
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|5 DE-604
700	1		\|a Robinson, John A. \|d 1930-2016 \|0 (DE-588)124196306 \|4 edt
700	1		\|a Voronkov, Andrei \|d 1959- \|0 (DE-588)11280828X \|4 edt
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 0-444-50812-0
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 0-444-50813-9
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 0-444-82949-0
856	4	0	\|u http://www.sciencedirect.com/science/book/9780444508133 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-33-ESD
940	1		\|q FLA_PDA_ESD
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027744525
966	e		\|u http://www.sciencedirect.com/science/book/9780444508133 \|l DE-1046 \|p ZDB-33-ESD \|q FAW_PDA_ESD \|x Verlag \|3 Volltext
966	e		\|u http://www.sciencedirect.com/science/book/9780444508133 \|l DE-188 \|p ZDB-33-ESD \|q ZDB-33-ESD 2017 \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1818979937727545344
any_adam_object
author2	Robinson, John A. 1930-2016 Voronkov, Andrei 1959-
author2_role	edt edt
author2_variant	j a r ja jar a v av
author_GND	(DE-588)124196306 (DE-588)11280828X
author_facet	Robinson, John A. 1930-2016 Voronkov, Andrei 1959-
building	Verbundindex
bvnumber	BV042307533
classification_rvk	SK 130 ST 304 ST 285 ST 300
collection	ZDB-33-ESD
ctrlnum	(OCoLC)162578801 (DE-599)BVBBV042307533
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02105nam a2200517 c 4500</leader><controlfield tag="001">BV042307533</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210510 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150129s2001 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080532790</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-08-053279-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162578801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042307533</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-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of automated reasoning</subfield><subfield code="c">ed.: Alan Robinson and Andrei Voronkov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier [u.a.]</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXV, 2122 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="500" ind1=" " ind2=" "><subfield code="a">Online-Ressource eines mehrbändigen begrenzenten Werkes</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatic theorem proving</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Qualitative reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Qualitative reasoning</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="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">Robinson, John A.</subfield><subfield code="d">1930-2016</subfield><subfield code="0">(DE-588)124196306</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Voronkov, Andrei</subfield><subfield code="d">1959-</subfield><subfield code="0">(DE-588)11280828X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">0-444-50812-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">0-444-50813-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">0-444-82949-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444508133</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027744525</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444508133</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444508133</subfield><subfield code="l">DE-188</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">ZDB-33-ESD 2017</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV042307533
illustrated	Not Illustrated
indexdate	2024-12-20T17:07:28Z
institution	BVB
isbn	9780080532790
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027744525
oclc_num	162578801
open_access_boolean
owner	DE-1046 DE-188
owner_facet	DE-1046 DE-188
physical	1 Online-Ressource (XXV, 2122 S.)
psigel	ZDB-33-ESD FLA_PDA_ESD ZDB-33-ESD FAW_PDA_ESD ZDB-33-ESD ZDB-33-ESD 2017
publishDate	2001
publishDateSearch	2001
publishDateSort	2001
publisher	Elsevier [u.a.]
record_format	marc
spelling	Handbook of automated reasoning ed.: Alan Robinson and Andrei Voronkov Amsterdam [u.a.] Elsevier [u.a.] 2001 1 Online-Ressource (XXV, 2122 S.) txt rdacontent c rdamedia cr rdacarrier Online-Ressource eines mehrbändigen begrenzenten Werkes Automatic theorem proving fast Qualitative reasoning fast Automatic theorem proving Qualitative reasoning Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Robinson, John A. 1930-2016 (DE-588)124196306 edt Voronkov, Andrei 1959- (DE-588)11280828X edt Erscheint auch als Druckausgabe 0-444-50812-0 Erscheint auch als Druckausgabe 0-444-50813-9 Erscheint auch als Druckausgabe 0-444-82949-0 http://www.sciencedirect.com/science/book/9780444508133 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Handbook of automated reasoning Automatic theorem proving fast Qualitative reasoning fast Automatic theorem proving Qualitative reasoning Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4069034-9
title	Handbook of automated reasoning
title_auth	Handbook of automated reasoning
title_exact_search	Handbook of automated reasoning
title_full	Handbook of automated reasoning ed.: Alan Robinson and Andrei Voronkov
title_fullStr	Handbook of automated reasoning ed.: Alan Robinson and Andrei Voronkov
title_full_unstemmed	Handbook of automated reasoning ed.: Alan Robinson and Andrei Voronkov
title_short	Handbook of automated reasoning
title_sort	handbook of automated reasoning
topic	Automatic theorem proving fast Qualitative reasoning fast Automatic theorem proving Qualitative reasoning Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Automatic theorem proving Qualitative reasoning Automatisches Beweisverfahren
url	http://www.sciencedirect.com/science/book/9780444508133
work_keys_str_mv	AT robinsonjohna handbookofautomatedreasoning AT voronkovandrei handbookofautomatedreasoning

Availability

‌

Order via interlibrary loan