Quotient Completion for the Foundation of Constructive Mathematics.

Maria Emilia Maietti Giuseppe Rosolini

Published in: Logica Universalis (2013)

Keyphrases

computer science
machine intelligence
databases
theoretical foundation
computer algebra
learning algorithm
computer vision
e learning
case study
bayesian networks
digital libraries
word problems
mathematics education
knuth bendix