Advertisement

Tutorial on high-performance theorem provers: Efficient implementation and parallelisation

  • J. Schumann
  • R. Letz
  • F. Kurfess
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

  • J. Schumann
    • 1
  • R. Letz
    • 1
  • F. Kurfess
    • 1
  1. 1.Technical University of MunichMunichWest Germany

Personalised recommendations