PKK Library catalog › Results of search for 'au:"Newborn, Monty"'

	1.	KASPAROV VERSUS DEEP BLUE by Newborn,Monty. Material type: Book; Format: print ; Literary form: not fiction Description: xiii,322.Publisher: Springer-Verlag, New York 1997Availability: No items available Checked out (1). Place hold Add to cart (remove)
	2.	AUAOMATED THEOREM PROVING. by Newborn,Monty. Material type: Book; Format: print ; Literary form: not fiction Description: xiii,231.Publisher: Springer-Verlag, New York 2001Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 N427A] (1). Add to cart (remove)
	3.	Automated theorem proving : theory and practice by Newborn, Monty. Material type: Visual material Publisher: Springer-Verlag 2001Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: A137039 A1.3] (1). Add to cart (remove)

PKK Library