Automated theorem proving : : after 25 years / / W.W. Bledsoe and D.W. Loveland, editors.

Saved in:
Bibliographic Details
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