JAVA Phrasebooks for computer algebra and automated deduction.
Olga CaprottiArjeh M. CohenManfred RiemPublished in: SIGSAM Bull. (2000)
Keyphrases
- automated deduction
- computer algebra
- theorem prover
- theorem proving
- inference rules
- first order logic
- open source
- computer algebra systems
- object oriented
- byte code
- programming language
- logic programming
- neural network
- java applets
- java virtual machine
- source code
- database applications
- lightweight
- development environment
- application server
- high level
- distributed object
- artificial intelligence
- automated theorem provers
- web applications
- knowledge representation
- database access
- cross platform
- advanced features
- java language