ProjektEntwicklung des hierarchisch parallelen Termersetzungssystems
Grunddaten
Titel:
Entwicklung des hierarchisch parallelen Termersetzungssystems
Laufzeit:
04.07.1996 bis 25.05.2000
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