Tableau, Tableauresolution und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion
| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 1991 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 34491 |
| Erscheinungsvermerk | Frankfurt a.M. 1991. (Europaeische Hochschulschriften. Reihe 41, Bd. 6.) Fak. f. Informatik, Diss. v. 23.1.1991. |
| Abschlussart | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Institut | Fakultät für Informatik (INFORMATIK) |
| Prüfungsdaten | Diss. v. 23.1.1991 |