Advertisement

Tutorial on high-performance automated theorem proving

  • Ewing Lusk
  • William McCune
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Ewing Lusk
    • 1
  • William McCune
    • 1
  1. 1.Mathematics and Computer Science DivisionArgonne National LaboratoryArgonne

Personalised recommendations