PKK Library catalog › Results of search for 'au:"Voronkov, A."'

	1.	LOGIC PROGRAMMING by Voronkov, A. Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1). Place hold Add to cart (remove)
	2.	LOGIC PROGRAMMING AND AUTOMATED REASONING by Voronkov, A \| . Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1). Place hold Add to cart (remove)

PKK Library