Formalising foundations of mathematics.

Mihnea Iancu Florian Rabe

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

artificial intelligence
computer science
computer assisted instruction
machine learning
knowledge base
grade students
electrical engineering
mathematics education
database
decision making
image processing
data analysis
expert systems
middle school mathematics