Your search returned 2 results.

Results
	1.	Three views of logic: mathematics, philosophy, and computer science/ Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. by Loveland, Donald W [author.] Hodel, Richard E [author.] Sterrett, Susan G [author.] Publisher: Princeton, New Jersey: Princeton University Press, [2014] Availability: Items available for loan: Castorina (1)Call number: 511.3 L898t 2014 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Automated theorem proving: after 25 years/ W.W. Bledsoe and D.W. Loveland, editors. by Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) Bledsoe, W. W Loveland, Donald W American Mathematical Society Series: Contemporary mathematics (American Mathematical Society) ; v. 29. Publication details: Providence, R.I.: American Mathematical Society, 1984 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)

Refine your search