Automated theorem proving
| Year of publication: |
1987 ; 2., rev. ed.
|
|---|---|
| Authors: | Bibel, Wolfgang |
| Publisher: |
Braunschweig [u.a.] : Vieweg |
| Subject: | Automatisches Beweisverfahren |
| Description of contents: | Table of Contents [digitool.hbz-nrw.de] |
| Extent: | XIV, 288 S. : graph. Darst. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 3-528-18520-1 |
| Source: |
Persistent link: https://www.econbiz.de/10004054709