community
directory
books
authors
images
encyclopedia

Email:
Password:
Register

Knowledgerush Search

 

Google
  Web knowledgerush


Search for images of Gandalf theorem prover


Message boards   Post comment

Gandalf theorem prover

A first-order theorem prover applied to several domain-specific tasks such as Semantic web.

http://www.ttu.ee/it/gandalf/

Referenced By

Automated theorem proving | Theorem prover

 

Compose Your Message

Your Email Address or Pen Name (optional):
Subject:
Your Message:
 

 

 

 

 

 

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Gandalf theorem prover".

 

Contact UsPrivacy Statement & Terms of Use

 
Copyright © 1999-2003 Knowledgerush.com. All rights reserved.