005 |
|
19950712134630.0 |
010 |
|
|a 85014071 //r87
|
020 |
|
|a0471615463 (pbk.)
|
035 |
|
|a85014071 //r87
|
040 |
|
|aTWNTU|beng|dTWNTU
|
050 |
0
|
|aQA76.9.A96|bG35 1986
|
082 |
0
|
|a511.3|219
|
095 |
|
|aNTTTCL|bG|cE021016|d511.3|eG168-2|pBOOK|fFENG|zBOOK|m0|tDDC
|
100 |
10
|
|aGallier, Jean H.
|
245 |
10
|
|aLogic for computer science :|bfoundations of automatic theorem proving /|cJean H. Gallier.
|
260 |
0
|
|aNew York, NY :|bWiley,|cc1987.
|
300 |
|
|axv, 511 p. ;|c25 cm.
|
504 |
|
|aIncludes bibliographies and indexes.
|
650 |
0
|
|aAutomatic theorem proving.
|
650 |
0
|
|aLogic, Symbolic and mathematical.
|
809 |
|
|d511.3|eG168-2|tDDC|pBOOK
|