Forschungstreffen 97152
PTP-97: 1st Int. Workshop on Proof Transformation & Presentation
( 08. Apr – 10. Apr, 1997 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/97152
Organisator
- J. Siekmann (DFKI-Saarbrücken)