

Gandalf (theorem prover), Fachbücher
Das Buch "Gandalf (theorem prover)" bietet eine umfassende Einführung in den automatisierten Theorembeweiser Gandalf, der in ... Mehr erfahren
Finde die besten Angebote
Bester Preis22 Punkte

Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Gandalf (theorem prover)" bietet eine umfassende Einführung in den automatisierten Theorembeweiser Gandalf, der in der Programmiersprache Scheme entwickelt wurde und für verschiedene spezifische Aufgaben, einschliesslich des Semantic Web, eingesetzt wird. Es behandelt die Funktionsweise und die Anwendungen von Gandalf sowie seine Teilnahme an der CADE ATP System Competition, wo er bemerkenswerte Ergebnisse erzielt hat. Die Inhalte basieren hauptsächlich auf Artikeln aus Wikipedia und anderen freien Online-Quellen, was eine breite und zugängliche Informationsbasis bietet. Das Buch richtet sich an Fachleute und Studierende, die sich mit automatisierten Beweisverfahren und deren praktischen Anwendungen auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing