Guajara in other languages:
Spanish
,
Deutsch
,
French
,
Italian
...
Gandalf theorem prover
A first-order
theorem prover
applied to several domain-specific tasks such as
Semantic web
.
http://www.ttu.ee/it/gandalf/
Wikipedia
- All text is available under the terms of the
GNU Free Documentation License
.
Tagoror dot com
-
Legal Information
-
Contact us
