Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors. after 25 years /
Saved in:
Corporate Authors: | Special Session on Automatic Theorem Proving Denver, Colo, American Mathematical Society |
---|---|
Other Authors: | Bledsoe, W. W., Loveland, Donald W. |
Format: | Book |
Language: | English |
Published: |
Providence, R.I. :
American Mathematical Society,
1984.
|
Series: | Contemporary mathematics (American Mathematical Society) ;
v. 29 |
Subjects: | |
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, 1942-
Published: (2013) -
Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions / Yves Bertot and Pierre Castèran.
by: Bertot, Yves
Published: (2004) -
Automated deduction in equational logic and cubic curves / W. McCune, R. Padmanabhan.
by: McCune, W. (William)
Published: (1996) -
Formalized probability theory and applications using theorem proving / Osman Hasan and Sofiène Tahar.
by: Hasan, Osman, 1975-, et al.
Published: (2015) -
The resolution calculus / Alexander Leitsch.
by: Leitsch, Alexander
Published: (1997)