ProjectEntwicklung eines termersetzungsbasierten Beweisers
Basic data
Title:
Entwicklung eines termersetzungsbasierten Beweisers
Duration:
04/07/1996 to 22/04/1999
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