Login / Signup

FORMAC an experimental formula manipulation Compiler.

Elaine R. BondMarc A. AuslanderS. GrisoffRobert KenneyMat MyszewskiJean E. SammetRobert G. TobeyStephen N. Zilles
Published in: ACM National Conference (1964)
Keyphrases
  • general purpose
  • programming language
  • software systems
  • website
  • databases
  • propositional formulas
  • linear temporal logic