Automating Algebraic Proofs in Algebraic Logic.

Jieh Hsiang Anita Wasilewska

Published in: Fundam. Informaticae (1996)

Keyphrases

algebraic structure
computer algebra
e learning
information systems
programming language
higher order
proof theory
natural deduction
automated reasoning
theorem prover
logic programming
neural network
expert systems
search algorithm
case study
image processing
computer vision
machine learning