An Algebraic Proof in VDM.

Arthur P. Hughes Alexis A. Donnelly

Published in: ZUM (1995)

Keyphrases

theorem prover
linear logic
theorem proving
proof theory
neural network
information technology
automated theorem proving
probabilistic model
mobile robot
special case
database
database systems
knowledge base
information systems
machine learning
data mining
databases