Login / Signup

Equational Logic as a Tool.

David Gries
Published in: AMAST (1995)
Keyphrases
  • software tools
  • theorem proving
  • user friendly
  • classical logic
  • source code
  • logic programming
  • modal logic