Functional Characters of Solvable Terms.

Mario Coppo Mariangiola Dezani-Ciancaglini Betti Venneri

Published in: Math. Log. Q. (1981)

Keyphrases

computational complexity
learning algorithm
computer vision
case study
np complete
database
genetic algorithm
artificial intelligence
search algorithm
lower bound
np hard
co occurrence