Introduction to mathematics of satisfiability / Victor W. Marek
Series: Chapman & Hall/CRC studies in informatics seriesPublication details: Boca Raton, FL : CRC Press, 2009Description: xiii, 350 p. : ill. ; 25 cmISBN:- 9781439801673 (hbk.)
- 1439801673 (hbk.)
| Item type | Current library | Home library | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | QA9.3.M347 (Browse shelf(Opens below)) | 1 | Available | 00002024515 |
'A Chapman & Hall book.'
Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.
