Cofinal elementary extensions.

James H. Schmerl

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

Keyphrases

database systems
neural network
feature extraction
video sequences
hidden markov models
description logics
efficient implementation
default logic
default theories