Your search returned 3 results.

Results
	1.	Introduction to mathematics of satisfiability / Victor W. Marek by Marek, Wiktor Series: Chapman & Hall/CRC studies in informatics series Publication details: Boca Raton, FL : CRC Press, 2009 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.3.M347. Place hold
	2.	Propositional and Predicate Calculus A Model of Argument [electronic resource] / by Derek Goldrei. by Goldrei, Derek SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	SAT 2005 [electronic resource] : Satisfiability Research in the Year 2005 / edited by Enrico Giunchiglia, Toby Walsh. by Giunchiglia, Enrico Walsh, Toby SpringerLink (Online service) Publication details: Dordrecht : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.

Refine your search