Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker.

Jawahar Chirimar Carl A. Gunter Myra Van Inwegen

Published in: CADE (1992)

Keyphrases

graphical interface
information retrieval
genetic algorithm
multiscale
theorem prover
neural network
data mining
image segmentation
computationally efficient
natural deduction
proof search
proof planning