The Theory of Computability Developed in Terms of Satisfaction.

Published in: Notre Dame J. Formal Log. (1999)

Keyphrases

case study
support vector
artificial intelligence
real time
neural network
machine learning
computer vision
high level
information technology
information theory
newly developed