Login / Signup
FORMAC an experimental formula manipulation Compiler.
Elaine R. Bond
Marc A. Auslander
S. Grisoff
Robert Kenney
Mat Myszewski
Jean E. Sammet
Robert G. Tobey
Stephen N. Zilles
Published in:
ACM National Conference (1964)
Keyphrases
</>
general purpose
programming language
software systems
website
databases
propositional formulas
linear temporal logic