Research Meeting 97152
PTP-97: 1st Int. Workshop on Proof Transformation & Presentation
( Apr 08 – Apr 10, 1997 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/97152
Organizer
- J. Siekmann (DFKI-Saarbrücken)