Gandalf theorem prover

From Free net encyclopedia

The Gandalf theorem prover is the first-order theorem prover applied to several domain-specific tasks such as Semantic web.

[edit]

External link

Image:Gnome-system.png This computer-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://www.netipedia.com/index.php/Gandalf_theorem_prover"