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)

