H ? « ‹ ← → › »

Language peer sets for FOL:
United States↑
United States/1976↑
Designed 1976 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

FOL(ID:3315/fol001)

alternate simple view
Country: United States
Designed 1976
Published: 1976

for First Order Logic

Filman Stanford 1976

Places
Related languages
FOL → CASL   Extension of
References:
  • Filman, Robert E and Weyhrauch, Richard W. (1976) Filman, Robert E and Weyhrauch, Richard W. "n FOL primer" Report Number: CS-TR-76-572 Department of Computer Science Stanford University Sptember 1976 Abstract pdf
  • Weyhrauch, Richard W (1977) Weyhrauch, Richard W "A users manual for FOL."Report Number: CS-TR-77-432 Department of Computer Science Stanford University July 1977 Abstract pdf
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder