English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
A World-Wide Web interface for the visualization of constructive proofs at different abstraction levels
Details
Full
Export
Statistics
Options
1997
Conference Paper
Titel
A World-Wide Web interface for the visualization of constructive proofs at different abstraction levels
Author(s)
Eusterbrock, J.
Nicolaides, M.
Hauptwerk
PTP-97, First International Workshop in Proof Transformation and Presentation
Konferenz
International Workshop in Proof Transformation and Presentation (PTP) 1997
Language
English
google-scholar
View Details
IPSI
