Decidability of Sub-theories of Polynomials over a Finite Field.

Alla Sirokofskich

Published in: CiE (2009)

Keyphrases

description logics
graduate students
neural network
theoretical framework
finite number
data sets
database systems