|
|
|
|
| LEADER |
01227cam a2200277 a 4500 |
| 008 |
090423s2009 flua b 001 0 eng |
| 010 |
|
|
|a 2009016171
|
| 020 |
|
|
|a 9781439801673 (hardcover : alk. paper)
|
| 020 |
|
|
|a 1439801673 (hardcover : alk. paper)
|
| 035 |
|
|
|a (OCoLC)ocn259265439
|
| 082 |
0 |
0 |
|a 511.3
|2 22
|
| 100 |
1 |
|
|a Marek, Victor W.
|
| 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. ;
|c 25 cm.
|
| 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
|
| 830 |
|
0 |
|a Chapman & Hall/CRC studies in informatics series.
|
| 906 |
|
|
|a 7
|b cbc
|c orignew
|d 1
|e ecip
|f 20
|g y-gencatlg
|
| 955 |
|
|
|a xh00 2009-04-23
|i xh07 2009-04-23 to shelflisting
|a rd11 2009-04-27
|a xe06 2009-12-03 1 copy rec'd., to CIP ver.
|a xh00 2009-12-07 to USPL/STM
|
| 999 |
|
|
|c 96911
|d 96911
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_300000000000000_MAR_I
|7 0
|9 96560
|a UL
|b UL
|c ST1
|d 2011-12-20
|g 0.00
|l 0
|o 511.3 MAR/I
|p 87134
|r 2012-10-28
|v 4837.18
|x 32
|y BK
|k P. 58.99
|