Preisvergleich / Wohnen / Büro / Gandalf (theorem prover), Fachbücher
Thumbnail - Gandalf (theorem prover), Fachbücher

Gandalf (theorem prover), Fachbücher

Das Buch "Gandalf (theorem prover)" bietet eine umfassende Einführung in den automatisierten Theorembeweiser Gandalf, der in ... Mehr erfahren

Sammle bis zu 22 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis22 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

45,00 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ä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