Symbolic Computation: Computer Algebra and Logic.

Bruno Buchberger

Published in: FroCoS (1996)

Keyphrases

computer algebra
theorem prover
automated deduction
computer algebra systems
data sets
predicate logic
automated theorem provers
databases
learning algorithm
multi agent
modal logic
imperative programs