Advertisement

What is a proof?

  • Richard Platek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 814)

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Richard Platek
    • 1
    • 2
  1. 1.Odyssey Research AssociatesIthacaUSA
  2. 2.Cornell UniversityIthacaUSA

Personalised recommendations