Cooperation of decision procedures in a tableau-based theorem prover
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1990 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 301390 |
| Erscheinungsvermerk | Rev. d'intelligence artificielle 4 (1990) H. 3 S. 99-125. |