|
|
|
|
| LEADER |
007310000a22002170004500 |
| 020 |
|
|
|a 0-471-61546-3
|
| 082 |
|
|
|a 511.3 M7
|
| 100 |
|
|
|a Gallier, Jean H; Author
|
| 245 |
|
|
|a Logic for computer science: foundations of automatic theorem proving
|
| 260 |
|
|
|a New York, John Wiley & Sons, Inc
|
| 260 |
|
|
|c 1987
|
| 460 |
|
|
|a xv,511p
|
| 465 |
|
|
|a D 6.90
|
| 500 |
|
|
|a Includes bibliographical references and index
|
| 500 |
|
|
|a Jean H Gallier
|
| 650 |
|
|
|a Automatic theorem proving
|
| 650 |
|
|
|a Computer science
|
| 650 |
|
|
|a Logic, Symbolic and mathematical
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 11748
|d 11748
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_300000000000000_M7
|7 0
|8 ENG
|9 11544
|a MGUL
|b MGUL
|d 2013-07-16
|e D 6.90
|l 0
|o 511.3 M7
|p 00729
|r 2013-07-16
|w 2013-07-16
|y BK
|