The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating.

Claus-Peter Wirth

Published in: CoRR (2016)

Keyphrases

decision trees
neural network
three dimensional
first order logic
decision making
image processing
natural language
lower bound