Formalizing Abstract Computability: Turing Categories in Coq.

Polina Vinogradova Amy P. Felty Philip J. Scott

Published in: LSFA (2017)

Keyphrases

high level
machine intelligence
higher level
information systems
database
databases
machine learning
search engine
objective function
image retrieval
special case
automatically classify