Symbolic Computation for Witt Rings.

Algimantas Juozapavicius

Published in: ISSAC (1988)

Keyphrases

conceptual clustering
automated deduction
imperative programs
horn clauses
formal concept analysis
rule induction
machine learning
artificial intelligence
data structure
fuzzy logic
software engineering