Reasoning about Hand Prinited FORTRAN Programs.

Published in: AISB (ECAI) (1976)

Keyphrases

genetic algorithm
spatial reasoning
artificial intelligence
scientific computing
control program
databases
real world
information retrieval
face recognition
multiscale
relational databases
evolutionary algorithm
logic programs
causal reasoning
formal theory
prolog programs