BUET online Catalog › Results of search for '(su:{Automatic theorem proving})'

	1.	Logic for computer science foundations of automatic theorem proving by Gallier, Jean H. Edition: 1st ed.Publisher: New York Harper & Row 1986Availability: Items available for loan: Central Library, BUET [511.3/GAL/1986] (1). Place hold Add to cart (remove)
	2.	Automated theorem proving a logical basis by Loveland, Donald W. Edition: 1st ed.Publisher: Amsterdam North-Holland Publishing 1978Availability: Items available for loan: Central Library, BUET [001.535/LOV/1978] (1). Place hold Add to cart (remove)

Koha online