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!
|
LEADER | 02321nam a2200481 i 4500 | ||
---|---|---|---|
001 | 5003112848 | ||
003 | MiAaPQ | ||
005 | 20200909225244.0 | ||
006 | m o d | | ||
007 | cr cnu|||||||| | ||
008 | 840412t19841984riuad ob 100 0 eng|d | ||
020 | |z 082185027X (pbk.) | ||
020 | |z 9780821850275 | ||
020 | |a 9780821876145 (e-book) | ||
035 | |a (MiAaPQ)5003112848 | ||
035 | |a (Au-PeEL)EBL3112848 | ||
035 | |a (CaPaEBR)ebr10873011 | ||
035 | |a (OCoLC)922980165 | ||
040 | |a MiAaPQ |b eng |e rda |e pn |c MiAaPQ |d MiAaPQ | ||
050 | 4 | |a QA76.9.A96 |b S64 1983 | |
082 | 0 | |a 511.3 |2 19 | |
111 | 2 | |a Special Session on Automatic Theorem Proving |d (1983 : |c Denver, Colo.), |j issuing body. | |
245 | 1 | 0 | |a Automated theorem proving : |b after 25 years / |c W.W. Bledsoe and D.W. Loveland, editors. |
264 | 1 | |a Providence, Rhode Island : |b American Mathematical Society, |c [1984] | |
264 | 4 | |c 1984 | |
300 | |a 1 online resource (371 pages) : |b illustrations. | ||
336 | |a text |2 rdacontent | ||
337 | |a computer |2 rdamedia | ||
338 | |a online resource |2 rdacarrier | ||
490 | 1 | |a Contemporary mathematics, |x 0271-4132 ; |v volume 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"--Title page verso. | ||
504 | |a Includes bibliographies. | ||
588 | |a Description based on print version record. | ||
590 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 | |a Automatic theorem proving |v Congresses. | |
655 | 4 | |a Electronic books. | |
700 | 1 | |a Bledsoe, W. W., |e editor. | |
700 | 1 | |a Loveland, Donald W., |e editor. | |
710 | 2 | |a American Mathematical Society, |e issuing body. | |
776 | 0 | 8 | |i Print version: |a Special Session on Automatic Theorem Proving. |t Automated theorem proving : after 25 years. |d Providence, Rhode Island : American Mathematical Society, [1984] |h ix, 360 pages ; 26 cm. |k Contemporary mathematics ; v. 29 |z 9780821850275 |w (DLC)10873011 |
797 | 2 | |a ProQuest (Firm) | |
830 | 0 | |a Contemporary mathematics (American Mathematical Society) ; |v volume 29. | |
856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3112848 |z Click to View |