Editorial: The Integration of Automated Reasoning and Computer Algebra Systems.

Steve Linton Roberto Sebastiani

Published in: J. Symb. Comput. (2002)

Keyphrases

automated reasoning
theorem prover
computer algebra systems
theorem proving
computer algebra

reasoning systems
decision procedures
first order logic
automated verification
probabilistic reasoning

knowledge representation
reasoning tasks
inference rules
special issue
propositional satisfiability

knowledge representation and reasoning
prime implicants
special case
relational databases