Theoriebehandlung in Beweisprozeduren für Prädikatenlogik 1. Stufe (TheTP)
Laufzeit: 01.07.1993 - 31.12.1999
Partner: TU München, Gruppe Intellektik; Uni Karlsruhe, Fakultät Informatik, Prof. P. Schmitt
Förderung durch: DFG: Schwerpunktprogramm Deduktion