Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Frank Pfenning"'

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; 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): . Add to cart (remove)
	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; 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): . Add to cart (remove)
	3.	Logic Programming and Automated Reasoning by Frank Pfenning. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: 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): . Add to cart (remove)