Some Axioms for Mathematics.

Frédéric Blanqui Gilles Dowek Émilie Grienenberger Gabriel Hondet François Thiré

Published in: FSCD (2021)

Keyphrases

knowledge base
first order logic
computer science
database
data sets
computer algebra
neural network
artificial intelligence
case study
expert systems
logic programs
computer assisted instruction
electrical engineering
axiomatic characterization
complete axiomatization