Login / Signup
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:
CoRR (2013)
Keyphrases
</>
real time
management system
computer systems
databases
data mining
information retrieval
artificial neural networks
context aware
complex systems
retrieval systems
ubiquitous and pervasive