A computational logic
Robert S. Boyer and J. Strother Moore
| Year of publication: |
1979
|
|---|---|
| Authors: | Boyer, Robert S. ; Moore, J. Strother |
| Publisher: |
New York [u.a.] : Academic Press |
| Subject: | Automatisches Beweisverfahren |
| Extent: | XIV, 397 S. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 0-12-122950-5 |
| Source: |
Persistent link: https://www.econbiz.de/10004602057