Sign in
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.
Bruno Barras
Lourdes Del Carmen González-Huesca
Hugo Herbelin
Yann Régis-Gianas
Enrico Tassi
Makarius Wenzel
Burkhart Wolff
Published in:
MKM/Calculemus/DML (2013)
Keyphrases
</>
expert systems
management system
context aware
artificial intelligence
social networks
computing systems
multimedia
mobile robot
intelligent systems
knowledge based systems
parallel processing
interactive theorem proving