Dhaka University Library Online catalog › Results of search for 'su,complete-subfield:"Automatic theorem proving."'

Last Updated on September 15, 2019
© Dhaka University Library. All Rights Reserved|Staff Login

	1.		Automated reasoning with Otter by Kalman, John Arnold. Material type: Book; Format: print ; Literary form: not fiction Publisher: Princeton, N.J. : Rinton Press, c2001Availability: Items available for loan: Dhaka University Science Library [005.13 KAA] (1). Add to cart (remove)
	2.		Logic for computer science : foundations of automatic theorem proving by Gallier, Jean H. Material type: Book; Format: print ; Literary form: not fiction Publisher: New York, NY : Harper & Row, c1986Availability: Items available for loan: Dhaka University Science Library [511.3 GAL] (2). Add to cart (remove)

Dhaka University Library Online