Philosophical Aspects of Computerized Verification of Mathematics.

N. G. de Bruijn

Published in: TABLEAUX (1998)

Keyphrases

artificial intelligence
cognitive science
data sets
databases
computer science
main aspects
machine learning
feature selection
data structure
model checking
computer aided
cooperative learning
signature verification
formal verification