1 results
Introduction to Mathematics of Satisfiability, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 18 August 2010, pp. 126-130
-
- Article
- Export citation