|
|
|
|
| LEADER |
00957nam a22002658a 4500 |
| 001 |
1/8436 |
| 008 |
870305c19871973mau b 00110 eng |
| 020 |
|
|
|a 0121703509 (alk. paper)
|
| 035 |
|
|
|l 8754
|
| 040 |
|
|
|a DLC
|b GR-PeUP
|
| 082 |
0 |
0 |
|a 511.3'219 CH
|
| 100 |
1 |
|
|a Chang, Chin-Liang,
|d 1937-
|
| 245 |
1 |
0 |
|a Symbolic logic and mechanical theorem proving /
|c Chin-Liang Chang, Richard Char-Tung Lee.
|
| 260 |
|
|
|a Boston :
|b Academic Press,
|c 1987, c1973.
|
| 300 |
|
|
|a xii331 p.:
|b fig.;
|c 24 cm.
|
| 490 |
1 |
|
|a Computer Science Classics ;
|
| 504 |
|
|
|a Bibliography: p.
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
4 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
4 |
|a Automatic theorem proving.
|
| 650 |
|
4 |
|a Artificial intelligence.
|
| 700 |
1 |
|
|a Lee, Richard Char-Tung,
|d 1939-
|
| 830 |
|
|
|a Computer Science Classics.
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20040709
|h 511.3'219 CH
|p 00104562
|q 00104562
|t LOAN
|y 0
|4 1
|
| 856 |
4 |
|
|d /webopac/covers/03/8754_0121703509.jpg
|z (alk. paper)
|
