Proving as a Computable Procedure.

Cristian Calude Sergiu Rudeanu

Published in: Fundam. Informaticae (2005)

Keyphrases

machine learning
real time
databases
data mining
support vector
search algorithm
special case
medical images