Project Entwicklung 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
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.