Holdings: Automated theorem proving

Automated theorem proving: after 25 years

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Providence, R.I. American Mathematical Society 1984
Series:	Contemporary mathematics (American Mathematical Society) v. 29
Subjects:	Automatic theorem proving > Congresses Automatisches Beweisverfahren Konferenzschrift
Online Access:	UBM01 Volltext
Item Description:	"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso. - Mode of access : World Wide Web
Physical Description:	1 online resource (ix, 360 p.)
ISBN:	9780821876145
DOI:	10.1090/conm/029

Staff View

MARC


LEADER	00000nmm a2200000zcb4500
001	BV044240368
003	DE-604
005	20180813
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	170324s1984 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9780821876145 \|9 978-0-8218-7614-5
024	7		\|a 10.1090/conm/029 \|2 doi
035			\|a (ZDB-138-AMM)3313740
035			\|a (OCoLC)891517903
035			\|a (DE-599)BVBBV044240368
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-19
082	0		\|a 511.3 \|2 19eng
084			\|a SD 1983 \|0 (DE-625)142717: \|2 rvk
084			\|a SI 805 \|0 (DE-625)143193: \|2 rvk
245	1	0	\|a Automated theorem proving \|b after 25 years \|c W.W. Bledsoe and D.W. Loveland, editors
264		1	\|a Providence, R.I. \|b American Mathematical Society \|c 1984
300			\|a 1 online resource (ix, 360 p.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Contemporary mathematics (American Mathematical Society) \|v v. 29
500			\|a "Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso. - Mode of access : World Wide Web
505	8		\|a Includes bibliographies
650		4	\|a Automatic theorem proving \|x 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 \|2 gnd-content
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Bledsoe, Woody W. \|d 1921-1995 \|e Sonstige \|0 (DE-588)119029502 \|4 oth
700	1		\|a Loveland, Donald W. \|d 1934- \|e Sonstige \|0 (DE-588)104961139X \|4 oth
710	2		\|a American Mathematical Society \|e Sonstige \|0 (DE-588)6924-3 \|4 oth
711	2		\|a Special Session on Automatic Theorem Proving \|d 1983 \|c Denver, Colo. \|j Sonstige \|0 (DE-588)5002483-8 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|t Automated theorem proving \|z 9780821850275
856	4	0	\|u https://doi.org/10.1090/conm/029 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-138-AMM
999			\|a oai:aleph.bib-bvb.de:BVB01-029645725
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1090/conm/029 \|l UBM01 \|p ZDB-138-AMM \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804177400664162304
any_adam_object
author_GND	(DE-588)119029502 (DE-588)104961139X
building	Verbundindex
bvnumber	BV044240368
classification_rvk	SD 1983 SI 805
collection	ZDB-138-AMM
contents	Includes bibliographies
ctrlnum	(ZDB-138-AMM)3313740 (OCoLC)891517903 (DE-599)BVBBV044240368
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	Mathematik
doi_str_mv	10.1090/conm/029
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02350nmm a2200517zcb4500</leader><controlfield tag="001">BV044240368</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180813 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">170324s1984 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821876145</subfield><subfield code="9">978-0-8218-7614-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1090/conm/029</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-138-AMM)3313740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)891517903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044240368</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-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19eng</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1983</subfield><subfield code="0">(DE-625)142717:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 805</subfield><subfield code="0">(DE-625)143193:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated theorem proving</subfield><subfield code="b">after 25 years</subfield><subfield code="c">W.W. Bledsoe and D.W. Loveland, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, R.I.</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 360 p.)</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="0" ind2=" "><subfield code="a">Contemporary mathematics (American Mathematical Society)</subfield><subfield code="v">v. 29</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso. - Mode of access : World Wide Web</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Includes bibliographies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield><subfield code="x">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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bledsoe, Woody W.</subfield><subfield code="d">1921-1995</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)119029502</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Loveland, Donald W.</subfield><subfield code="d">1934-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)104961139X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">American Mathematical Society</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)6924-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Special Session on Automatic Theorem Proving</subfield><subfield code="d">1983</subfield><subfield code="c">Denver, Colo.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5002483-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="t">Automated theorem proving</subfield><subfield code="z">9780821850275</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1090/conm/029</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-138-AMM</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029645725</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1090/conm/029</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-138-AMM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV044240368
illustrated	Not Illustrated
indexdate	2024-07-10T07:47:29Z
institution	BVB
institution_GND	(DE-588)6924-3 (DE-588)5002483-8
isbn	9780821876145
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029645725
oclc_num	891517903
open_access_boolean
owner	DE-19 DE-BY-UBM
owner_facet	DE-19 DE-BY-UBM
physical	1 online resource (ix, 360 p.)
psigel	ZDB-138-AMM
publishDate	1984
publishDateSearch	1984
publishDateSort	1984
publisher	American Mathematical Society
record_format	marc
series2	Contemporary mathematics (American Mathematical Society)
spelling	Automated theorem proving after 25 years W.W. Bledsoe and D.W. Loveland, editors Providence, R.I. American Mathematical Society 1984 1 online resource (ix, 360 p.) txt rdacontent c rdamedia cr rdacarrier Contemporary mathematics (American Mathematical Society) v. 29 "Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso. - Mode of access : World Wide Web Includes bibliographies Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s 1\p DE-604 Bledsoe, Woody W. 1921-1995 Sonstige (DE-588)119029502 oth Loveland, Donald W. 1934- Sonstige (DE-588)104961139X oth American Mathematical Society Sonstige (DE-588)6924-3 oth Special Session on Automatic Theorem Proving 1983 Denver, Colo. Sonstige (DE-588)5002483-8 oth Erscheint auch als Druck-Ausgabe Automated theorem proving 9780821850275 https://doi.org/10.1090/conm/029 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Automated theorem proving after 25 years Includes bibliographies Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4069034-9 (DE-588)1071861417
title	Automated theorem proving after 25 years
title_auth	Automated theorem proving after 25 years
title_exact_search	Automated theorem proving after 25 years
title_full	Automated theorem proving after 25 years W.W. Bledsoe and D.W. Loveland, editors
title_fullStr	Automated theorem proving after 25 years W.W. Bledsoe and D.W. Loveland, editors
title_full_unstemmed	Automated theorem proving after 25 years W.W. Bledsoe and D.W. Loveland, editors
title_short	Automated theorem proving
title_sort	automated theorem proving after 25 years
title_sub	after 25 years
topic	Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Automatic theorem proving Congresses Automatisches Beweisverfahren Konferenzschrift
url	https://doi.org/10.1090/conm/029
work_keys_str_mv	AT bledsoewoodyw automatedtheoremprovingafter25years AT lovelanddonaldw automatedtheoremprovingafter25years AT americanmathematicalsociety automatedtheoremprovingafter25years AT specialsessiononautomatictheoremprovingdenvercolo automatedtheoremprovingafter25years

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