Loading...
Symbolic logic and mechanical theorem proving /
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Sprog: | Undetermined |
| Udgivet: |
1973.
|
| Serier: | Computer science and applied mathematics,A series of monogra
|
| LEADER | 00519nam a2200145Ia 4500 | ||
|---|---|---|---|
| 001 | 78014 | ||
| 008 | 170722s9999 xx 000 0 und d | ||
| 100 | |a Chang, Chin-lidng | ||
| 245 | |a Symbolic logic and mechanical theorem proving / | ||
| 260 | |c 1973. | ||
| 490 | |a Computer science and applied mathematics,A series of monogra | ||
| 700 | |a Lee, Richard Char-tung | ||
| 942 | |c GEN | ||
| 999 | |c 86972 |d 86972 | ||
| 952 | |0 0 |1 0 |4 0 |6 R_14_000000000000000_L3 |7 0 |8 LC1 |9 121571 |a LIB |b LIB |d 2017-08-12 |h LC1 |o R14 L3 |p 152683 |r 2017-08-12 |w 2017-08-12 |y GEN | ||