Intensions, Church's thesis, and the formalization of mathematics.

Nicolas D. Goodman

Published in: Notre Dame J. Formal Log. (1987)

Keyphrases

computer vision
machine learning
computer science
formal model
comprehensive set
formal logic
logical language
multi agent
knowledge representation
middle school students
computer assisted learning
databases
formal analysis
computer programming
computer assisted instruction