ProjectEntwicklung des hierarchisch parallelen Termersetzungssystems
Basic data
Title:
Entwicklung des hierarchisch parallelen Termersetzungssystems
Duration:
04/07/1996 to 25/05/2000
Involved staff
Managers
Faculty of Science
University of Tübingen
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science
Department of Informatics, Faculty of Science
Local organizational units
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science
Faculty of Science
Funders
Bonn, Nordrhein-Westfalen, Germany