Project Tagung - Proof and Dialogues

Basic data

Title:
Tagung - Proof and Dialogues
Begin:
09/11/2010
Keywords:
proofs
dialogue
Dialog
semantics
Semantik

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

Help

will be deleted permanently. This cannot be undone.