PKK Library catalog › Results of search for 'su:{Propositional calculus}'

	1.	THEORY AND APPLICATIONS OF SATISFIABILITY TESTING; V. 3569 : THEORY AND APPLICATIONS OF SATISFIABILITY TESTING by Bacchus,Fahiem \| Walsh,Toby. Material type: Book; Format: print ; Literary form: not fiction Description: xii,492.Publisher: Springer-Verlag, Berlin 2005Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2.	Handbook of satisfiability by Biere, Armin [ed.] \| Heule, Marjin [ed.] \| Maaren, Hans van [ed.] \| Walsh, Toby [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: xiii, 966p.Publisher: Amsterdam IOS Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 H191] (1). Place hold Add to cart (remove)

PKK Library