Automated theorem proving : : after 25 years / / W.W. Bledsoe and D.W. Loveland, editors.
Saved in:
Superior document: | Contemporary mathematics, volume 29 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Providence, Rhode Island : : American Mathematical Society,, [1984] 1984 |
Year of Publication: | 1984 |
Language: | English |
Series: | Contemporary mathematics (American Mathematical Society) ;
volume 29. |
Online Access: | |
Physical Description: | 1 online resource (371 pages) :; illustrations. |
Notes: | "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"--Title page verso. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
5003112848 |
---|---|
ctrlnum |
(MiAaPQ)5003112848 (Au-PeEL)EBL3112848 (CaPaEBR)ebr10873011 (OCoLC)922980165 |
collection |
bib_alma |
record_format |
marc |
spelling |
Special Session on Automatic Theorem Proving (1983 : Denver, Colo.), issuing body. Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors. Providence, Rhode Island : American Mathematical Society, [1984] 1984 1 online resource (371 pages) : illustrations. text rdacontent computer rdamedia online resource rdacarrier Contemporary mathematics, 0271-4132 ; volume 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"--Title page verso. Includes bibliographies. Description based on print version record. Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Automatic theorem proving Congresses. Electronic books. Bledsoe, W. W., editor. Loveland, Donald W., editor. American Mathematical Society, issuing body. Print version: Special Session on Automatic Theorem Proving. Automated theorem proving : after 25 years. Providence, Rhode Island : American Mathematical Society, [1984] ix, 360 pages ; 26 cm. Contemporary mathematics ; v. 29 9780821850275 (DLC)10873011 ProQuest (Firm) Contemporary mathematics (American Mathematical Society) ; volume 29. https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3112848 Click to View |
language |
English |
format |
Conference Proceeding eBook |
author2 |
Bledsoe, W. W., Loveland, Donald W., American Mathematical Society, |
author_facet |
Bledsoe, W. W., Loveland, Donald W., American Mathematical Society, Special Session on Automatic Theorem Proving Denver, Colo.), |
author2_variant |
w w b ww wwb d w l dw dwl |
author2_role |
TeilnehmendeR TeilnehmendeR TeilnehmendeR |
author_corporate |
Special Session on Automatic Theorem Proving Denver, Colo.), |
author_sort |
Special Session on Automatic Theorem Proving Denver, Colo.), |
title |
Automated theorem proving : after 25 years / |
spellingShingle |
Automated theorem proving : after 25 years / Contemporary mathematics, |
title_sub |
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_auth |
Automated theorem proving : after 25 years / |
title_new |
Automated theorem proving : |
title_sort |
automated theorem proving : after 25 years / |
series |
Contemporary mathematics, |
series2 |
Contemporary mathematics, |
publisher |
American Mathematical Society, |
publishDate |
1984 |
physical |
1 online resource (371 pages) : illustrations. |
isbn |
9780821876145 (e-book) 9780821850275 |
issn |
0271-4132 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.9 A96 S64 41983 |
genre |
Electronic books. |
genre_facet |
Congresses. Electronic books. |
url |
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3112848 |
illustrated |
Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
511 - General principles of mathematics |
dewey-full |
511.3 |
dewey-sort |
3511.3 |
dewey-raw |
511.3 |
dewey-search |
511.3 |
oclc_num |
922980165 |
work_keys_str_mv |
AT specialsessiononautomatictheoremprovingdenvercolo automatedtheoremprovingafter25years AT bledsoeww automatedtheoremprovingafter25years AT lovelanddonaldw automatedtheoremprovingafter25years AT americanmathematicalsociety automatedtheoremprovingafter25years |
status_str |
n |
ids_txt_mv |
(MiAaPQ)5003112848 (Au-PeEL)EBL3112848 (CaPaEBR)ebr10873011 (OCoLC)922980165 |
hierarchy_parent_title |
Contemporary mathematics, volume 29 |
hierarchy_sequence |
volume 29. |
is_hierarchy_title |
Automated theorem proving : after 25 years / |
container_title |
Contemporary mathematics, volume 29 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField |
_version_ |
1792330843953299456 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02321nam a2200481 i 4500</leader><controlfield tag="001">5003112848</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200909225244.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">840412t19841984riuad ob 100 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">082185027X (pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780821850275</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821876145 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003112848</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3112848</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10873011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)922980165</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.A96</subfield><subfield code="b">S64 1983</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="111" 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">issuing body.</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, Rhode Island :</subfield><subfield code="b">American Mathematical Society,</subfield><subfield code="c">[1984]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (371 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Contemporary mathematics,</subfield><subfield code="x">0271-4132 ;</subfield><subfield code="v">volume 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"--Title page verso.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographies.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bledsoe, W. W.,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Loveland, Donald W.,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">American Mathematical Society,</subfield><subfield code="e">issuing body.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Special Session on Automatic Theorem Proving.</subfield><subfield code="t">Automated theorem proving : after 25 years.</subfield><subfield code="d">Providence, Rhode Island : American Mathematical Society, [1984]</subfield><subfield code="h">ix, 360 pages ; 26 cm.</subfield><subfield code="k">Contemporary mathematics ; v. 29</subfield><subfield code="z">9780821850275</subfield><subfield code="w">(DLC)10873011</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Contemporary mathematics (American Mathematical Society) ;</subfield><subfield code="v">volume 29.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3112848</subfield><subfield code="z">Click to View</subfield></datafield></record></collection> |