Načítá se...
First Order Logic And Automated Theorem Proving
| Hlavní autor: | |
|---|---|
| Médium: | Printed Book |
| Vydáno: |
Springer Publications
1996
|
| Vydání: | Ed.2 |
| LEADER | 00471nam a2200145 4500 | ||
|---|---|---|---|
| 020 | |a 0-387-94593-8 | ||
| 082 | |a 511.3 | ||
| 100 | |a Gries, David | ||
| 245 | |a First Order Logic And Automated Theorem Proving |c Fred B Schneider |h [Text] | ||
| 250 | |a Ed.2 | ||
| 260 | |b Springer Publications |c 1996 | ||
| 300 | |a Hard bound | ||
| 942 | |c BK | ||
| 999 | |c 82238 |d 82238 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000 |7 0 |9 74391 |a SOCS |b SOCS |d 2015-06-11 |g 69.95 |l 0 |o 511.3 |p SOCS1599 |r 2015-06-11 |w 2015-06-11 |y BK | ||