What Is Symbolic Computation?

Bruno Buchberger

Published in: CP (1995)

Keyphrases

automated deduction
imperative programs
integrity constraints
machine learning
knowledge representation
linear programming
intelligent agents
theorem proving