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

Claus-Peter Wirth

Published in: FLAP (2017)

Keyphrases

three dimensional
databases
data sets
real world
natural language
first order logic
sample complexity
clifford algebra
neural network
case study
data structure
information technology
medical images
conceptual model