A Complete Connection Calculus with Rigid E-Unification.

Published in: JELIA (1994)

Keyphrases

automated theorem proving
provably correct
three dimensional
databases
neural network
machine learning
genetic algorithm
multiscale
artificial neural networks
theorem prover
theorem proving