Your search returned 3 results.

Not what you expected? Check for suggestions
1.
Automated theorem proving : after 25 years

by Bledsoe W W | Loveland Donald W.

Series: Contemporary mathematics ; v. 29Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30July 2, 1987

by Sieg Wilfried.

Series: Contemporary mathematics ; v. 106Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Logic Programming and Automated Reasoning

by Frank Pfenning.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .