From the Universality of Mathematical Truth to the Interoperability of Proof Systems.

Published in: IJCAR (2022)

Keyphrases

building blocks
database
machine learning
intelligent systems
computer systems
real time
data mining
learning algorithm
artificial intelligence
case study
management system
complex systems