Algebra and Automated Deduction.
Steve LintonUrsula MartinPéter PröhleDuncan ShandPublished in: CADE (1996)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- boolean algebra
- inference rules
- deductive databases
- data model
- logic programming
- relational algebra
- information retrieval
- database systems
- first order logic
- algebraic expressions
- laplace transform
- algebraic geometry
- algebraic operations
- database
- data sources
- query language
- expert systems
- information systems
- artificial intelligence
- databases