Shelfclass_id | 4.B.3 |
Sortkey | BIBEL, WOLFGANG |
Authors | Wolfgang Bibel, Peter. H Schmitt |
Title | Automated Deduction: A Basis for Applications. Volume 1 |
Publisher | Kluwer Academic Publishers |
Year | c1998 |
Languages | eng |
Isbn | 0792351290, 0792351304, 0792351320 |
Series | Applied logic series |
Volume | 8-10 |
Description | (set: acid-free paper) (v. 1: acid-free paper) 3 v. ill. 25 cm. |
Record date | 20071106 |
Location | Boston |
Keywords | Automatic theorem proving, Logic, Symbolic and mathematical |