Experiments with a theorem-utilizing program.

Larry E. Travis

Published in: AFIPS Spring Joint Computing Conference (1964)

Keyphrases

artificial neural networks
genetic algorithm
data sets
computer vision
information systems
static analysis
real time
decision making
metadata
clustering algorithm
case study
data model
logic programs
logic programming
computer programs
programming environment