Annual Member
| Author | Marek, V. W. (V. Wiktor), 1943- |
|---|---|
| Title | Introduction to mathematics of satisfiability [electronic resource] / Victor W. Marek |
| Imprint | Boca Raton : CRC Press, c2009 |
| Connect to | http://marc.crcnetbase.com/isbn/9781439801741 |
| Descript | xiii, 350 p. : ill |
