Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator.

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

Keyphrases

test set
massachusetts institute of technology
database
face recognition
training data
feature space
training set
image processing