Advertisement

Chapter 7. Proof system

  • Michio Honda
  • Tatsuya Hagino
  • Etsuya Shibayama
Part II. System Description and Implementation Issues
Part of the Lecture Notes in Computer Science book series (LNCS, volume 160)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Michio Honda
  • Tatsuya Hagino
  • Etsuya Shibayama

There are no affiliations available

Personalised recommendations