Complete types in an extension of the system AF2.

Samir Farkh Karim Nour

Published in: J. Appl. Non Class. Logics (2003)

Keyphrases

decision making
image processing
computer science
feature space