Das interaktive Beweissystem NuPRL

Christoph Kreitz

  • RWTH Aachen, Aachen, Germany, June 1987
  • ECRC, Munich, Germany, May 1987
  • Annual Meeting of the GI Fachgruppe "Deduktionssysteme", Munich, Germany, March 1987
  • FernUniversität Hagen, Hagen, Germany, November 1986,


Abstract




Not available online   Slides of the presentation will be made available
in compressed postscript and pdf format 		  BACK
Back to overview of talks