Loading...
Introduction to mathematics of satisfiability /
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Boca Raton :
CRC Press,
c2009.
|
| Series: | Chapman & Hall/CRC studies in informatics series.
|
| Subjects: |
University of Calicut
| Call Number: |
511.3 MAR/I |
|---|---|
| Copy | Live Status Unavailable |