Zum Anfang der Bildgalerie springen

Gandalf (theorem prover)

Name: Gandalf (theorem prover)
SKU: 9RIOUGO6605
Price: 57.3 CHF
Availability: InStock

Seien Sie der Erste, der dieses Produkt bewertet

CHF 57.30

Auf Lager

SKU

9RIOUGO6605

1 Verfügbar

Kostenloser Versand

Geliefert zwischen Do., 13.11.2025 und Fr., 14.11.2025

Details

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.

30 Tage Rückgaberecht

Weitere Informationen

Allgemeine Informationen
- GTIN 09786131372698
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- Größe H220mm x B220mm
- EAN 9786131372698
- Titel Gandalf (theorem prover)
- Herausgeber Betascript Publishing
- Anzahl Seiten 128
- Genre Informatik

Bewertungen

Schreiben Sie eine Bewertung

Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.