https://www.dagstuhl.de/97152

08. – 10. April 1997, Event 97152

PTP-97: 1st Int. Workshop on Proof Transformation & Presentation

Organisator

J. Siekmann (DFKI-Saarbrücken)

Auskunft zu diesem Event erteilt

Heike Clemens

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.