Theorem proving in technology transfer: the user's point of view.
Fausto GiunchigliaPaolo TraversoPublished in: Int. J. Softw. Tools Technol. Transf. (2000)
Keyphrases
- theorem proving
- technology transfer
- first order logic
- automated deduction
- inference rules
- theorem prover
- decision procedures
- automatic programming
- automated reasoning
- consequence finding
- proof planning
- e government
- combinatorial search
- user interface
- current status
- automated theorem proving
- logical inference
- parallel search
- modal logic
- predicate calculus
- data mining
- artificial intelligence