ProjektEntwicklung eines termersetzungsbasierten Beweisers
Grunddaten
Titel:
Entwicklung eines termersetzungsbasierten Beweisers
Laufzeit:
04.07.1996 bis 22.04.1999
Beteiligte Mitarbeiter/innen
Leiter/innen
Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Lokale Einrichtungen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik
Mathematisch-Naturwissenschaftliche Fakultät
Mathematisch-Naturwissenschaftliche Fakultät
Geldgeber
Bonn, Nordrhein-Westfalen, Deutschland