Extensionality in the Calculus of Constructions.

Published in: TPHOLs (2005)

Keyphrases

computer algebra
neural network
machine learning
learning algorithm
information systems
formal language
decision making
automated deduction