Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.]. by Series: Frontiers in artificial intelligence and applications ; v. 185.
Publication details: Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009
Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1).
Pages

© Strathmore University Library Madaraka Estate Ole, Sangale Road P. O. Box 59857 00200 City Square Nairobi Kenya
Tel.: (+254) (0)703 034000/(0)703 034200/(0)703 034300 Fax.: (+254) (0)20-607498