Login / Signup
Extensions of ordered theories by generic predicates.
Alfred Dolich
Chris Miller
Charles Steinhorn
Published in:
J. Symb. Log. (2013)
Keyphrases
</>
user defined
domain specific
theoretical framework
efficient implementation
semantics of logic programs
data sets
neural network
data mining
expert systems
mathematical models
generic model
logical formulas
argumentation semantics