Equational Axioms of Test Algebra.

Marco Hollenberg

Published in: CSL (1997)

Keyphrases

knowledge base
artificial neural networks
theorem proving
data model
feature selection
query language
horn clauses
set theory
first order logic
inductive logic programming