001 |
|
38425 |
010 |
|
|a96032221
|
020 |
|
|a0387948473|b(bd.)|cNT1432.00
|
035 |
|
|a1043728
|
035 |
|
|a96032221
|
040 |
|
|aDLC|cDLC|dNOU
|
050 |
00
|
|aQA76.9.A96|bS63 1997
|
050 |
00
|
|aQA76.9.A96
|
082 |
00
|
|a511.3/0285/51|220
|
809 |
|
|pBOOK|dQA76.9.A96|e.S63|y1997
|
100 |
2
|
|aSocher-Ambrosius, Rolf.
|
245 |
10
|
|aDeduction systems|c/ Rolf Socher-Ambrosius, Patricia Johann.
|
260 |
|
|aNew York|b: Springer|c, 1997.
|
300 |
|
|axii, 206 p.|b: ill.|c; 25 cm.
|
490 |
1
|
|aGraduate texts in computer science
|
504 |
|
|aIncludes bibliographical references (p. [199]-200) and index.
|
650 |
0
|
|aAutomatic theorem proving.
|
700 |
1
|
|aJohann, Patricia.
|
830 |
0
|
|aGraduate texts in computer science (Springer-Verlag New York Inc.)
|
095 |
|
|aLB|bLBA|cE004549|dQA76.9.A96|e.S63|pBOOK|y1997|zB|m0|tLCC
|