An Example HyperVenn Proof.

Dave Barker-Plummer Nik Swoboda Michael D. Murray

Published in: Diagrams (2014)

Keyphrases

theorem proving
theorem prover
genetic algorithm
linear logic
learning algorithm
cooperative
multiresolution
control system
mobile robot
geometry theorem proving