A support system for formal reasoning: Requirements and status

  • C. B. Jones
  • P. A. Lindsay
Applications And Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 328)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • C. B. Jones
  • P. A. Lindsay

There are no affiliations available

Personalised recommendations