https://www.dagstuhl.de/97152
April 8 – 10 , 1997, Event 97152
PTP-97: 1st Int. Workshop on Proof Transformation & Presentation
Organizer
J. Siekmann (DFKI-Saarbrücken)
J. Siekmann (DFKI-Saarbrücken)
We offer several possibilities to publish the results of your event. Please contact publishing(at)dagstuhl.de if you are interested.
Background information on DROPS
Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.