Advertisement

Proof search theory and practice in the (former) USSR (Tentative)

  • Grigori Mints
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 607)

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Grigori Mints
    • 1
  1. 1.Department of PhilosophyStanford UniversityStanford

Personalised recommendations