Automated theorem proving: a logical basis. /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
New York:
North-Holland Publishing Company,
1978.
|
| Ausgabe: | [1. vyd.] |
| Schriftenreihe: | Fundamental studies in computer science:
6 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000nam a22000003a 4500 | ||
|---|---|---|---|
| 001 | 0018581 | ||
| 003 | SK-STU | ||
| 005 | 20161110143402.6 | ||
| 007 | ta | ||
| 008 | 161110s ----xo-----e------000-0-----d | ||
| 020 | |a 0-7204-0499-1 | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu | ||
| 100 | 1 | |a Loveland, Donald W. |4 aut |r Z6 | |
| 245 | 1 | 0 | |a Automated theorem proving: a logical basis. / |c aut. Donald W Loveland |
| 250 | |a [1. vyd.] | ||
| 260 | |a New York: |b North-Holland Publishing Company, |c 1978. | ||
| 300 | |a 405 s. | ||
| 490 | 0 | |a Fundamental studies in computer science: |v 6 | |
| 996 | |b 284IK06375 |c I*3S2398 |l II680 |s A |a 24 |w 0018581_0001 | ||