English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Have you forgotten your password?
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
PTP-97, First International Workshop in Proof Transformation and Presentation
Details
Publications
Statistics
Options
Show all metadata (technical view)
Title
PTP-97, First International Workshop in Proof Transformation and Presentation
Title Supplement
8-10 April 1997, Schloss Dagstuhl, Germany
Show more
Person Involved
Publishing Place
Dagstuhl
Publication Date
1997
Conference
International Workshop in Proof Transformation and Presentation (PTP) 1997