An Approach to Proof Checker.

Published in: MFCS (1986)

Keyphrases

theorem prover
theorem proving
neural network
web pages
image processing
web services
high level
multiscale
objective function
artificial neural networks
linear logic
proof planning