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!
|
Similar Items
-
First-order logic and automated theorem proving / / Melvin Fitting.
by: Fitting, Melvin,
Published: ([1996]) -
Conditional and preferential logics : proof methods and theorem proving / / Gian Luca Pozzato.
by: Pozzato, Gian Luca.
Published: (c2010.) -
Theorem-proving systems / Ewa Orłowska
by: Orłowska, Ewa
Published: (1973) -
Implementing automated inventory scanning and software distribution after auto discovery / Vasfi Gucer ... et al.].
Published: (2003.) -
Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
by: Mikhail, Rana Farid.
Published: (c2010.)