| Shelfclass_id | 4.B.3 |
| Sortkey | BIBEL, WOLFGANG |
| Authors | Wolfgang Bibel |
| Title | Automated Theorem Proving |
| Publisher | Vieweg |
| Edition | 2., rev. ed. |
| Year | 1987 |
| Languages | eng |
| Isbn | 3528185201 |
| Series | Künstliche Intelligenz (Braunschweig) |
| Issn | 0940-0699 |
| Description | xiv, 288 s. |
| Record date | 20071023 |
| Location | Braunschweig/Wiesbaden |