An Overview of the Tecton Proof System.

Deepak Kapur Xumin Nie David R. Musser

Published in: Theor. Comput. Sci. (1994)

Keyphrases

orders of magnitude
modal logic
databases
expert systems
information retrieval
e learning
objective function
artificial neural networks