Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors.
Tomás RecioManfred KerberPublished in: J. Symb. Comput. (2001)
Keyphrases
- computer algebra
- computer algebra systems
- special issue
- theorem prover
- qualitative reasoning
- automated reasoning
- uncertain information
- legal reasoning
- analogical reasoning
- databases
- knowledge base
- automated theorem provers
- knowledge acquisition
- randomly selected
- expert systems
- consistency checking
- reasoning problems
- reasoning mechanism
- information systems