Automated deduction - a basis for applications. Vol. 1: Foundations - calculi and methods. Vol. 2: Systems and implementation techniques. Vol. 3: Applications
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buch |
| Publikationsjahr | 1998 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 181798 |
| Erscheinungsvermerk | Dordrecht 1998. (Applied logic series. 8. 9. 10.) |