Gandalf (theorem prover)
Versandkostenfrei!
Versandfertig in 6-10 Tagen
30,99 €
inkl. MwSt.
PAYBACK Punkte
15 °P sammeln!
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Gandalf is a first-order automated theorem prover applied to several domain-specific tasks such as Semantic web. It has also participated in The CADE ATP System Competition and had impressive results in that competition. It is programmed in the Scheme programming language which is then compiled to the C programming language using Hobbit from SCM. Different frames may share the same terminals.
