On the Axiom of Extensionality-Part I.

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

Keyphrases

table of contents
inference rules
modal logic
general purpose
preprocessing
knowledge base
machine learning
lecture notes
feature selection
end users
management system
high level
training data
computer science
distance measure
temporal logic