|
|
|
|
| LEADER |
00798cam a2200205 a 4500 |
| 999 |
|
|
|c 211700
|d 211700
|
| 020 |
|
|
|a 9781439801673 (hardcover : alk. paper)
|
| 020 |
|
|
|a 1439801673 (hardcover : alk. paper)
|
| 082 |
0 |
0 |
|a 511.3
|
| 100 |
1 |
|
|a Marek, Wiktor.
|
| 245 |
1 |
0 |
|a Introduction to mathematics of satisfiability /
|c Victor W. Marek.
|
| 260 |
|
|
|a Boca Raton :
|b CRC Press,
|c c2009.
|
| 300 |
|
|
|a xiii, 350 p. :
|b ill. ;
|
| 490 |
1 |
|
|a Chapman & Hall/CRC studies in informatics series
|
| 500 |
|
|
|a "A Chapman & Hall book."
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Propositional calculus.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_300000000000000_MAR
|7 0
|9 225110
|a DFS
|b DFS
|d 2019-11-11
|l 0
|o 511.3 MAR
|p DFS3564
|r 2019-11-11
|w 2019-11-11
|y BK
|