Syntactical and Semantical Properties of Simple Type Theory.

Published in: J. Symb. Log. (1960)

Keyphrases

desirable properties
structural properties
information retrieval
genetic algorithm
artificial intelligence
knowledge base
image processing
information technology
probability distribution
information extraction
theoretical basis
formal theory