Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science.

Laurent Théry Freek Wiedijk

Published in: Math. Comput. Sci. (2015)

Keyphrases

formal proofs
mathematics and computer science
pattern recognition
real world
database
information systems
decision making
three dimensional
database systems
preprocessing
expert systems
artificial neural networks
data model
special issue
temporal logic