The Tecton Proof System.

Raj Agarwal David R. Musser Deepak Kapur Xumin Nie

Published in: RTA (1991)

Keyphrases

modal logic
intuitionistic logic
linear logic
proof search
neural network
decision making
decision trees
pattern recognition
relational databases
orders of magnitude
description language