| Shelfclass_id | 4.B.3 |
| Sortkey | BIBEL, WOLFGANG |
| Authors | Wolfgang Bibel, Steffen Häolldobler |
| Title | Deduction: Automated Logic |
| Publisher | Academic Press |
| Year | c1993 |
| Languages | eng, ger |
| Isbn | 012095835X |
| Description | 253 p. ill. 24 cm. |
| Record date | 20071023 |
| Location | San Diego |
| Nlmed | BC71 |
| Keywords | Logic |