Logic for Programming, Artificial Intelligence, and Reasoning, Fachbücher von Edmund M. Clarke, Andrei Voronkov
Das Buch "Logic for Programming, Artificial Intelligence, and Reasoning" ist eine umfassende Sammlung von überarbeiteten Beit... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Logic for Programming, Artificial Intelligence, and Reasoning" ist eine umfassende Sammlung von überarbeiteten Beiträgen der 16. Internationalen Konferenz zu diesem Thema, die 2010 in Dakar, Senegal, stattfand. Es umfasst 27 vollständige und 9 kurze überarbeitete Artikel, die aus 47 Einreichungen ausgewählt wurden. Die Beiträge decken ein breites Spektrum an Themen ab, die sich mit automatisiertem Schliessen, computergestützter Logik und Programmiersprachen befassen. Die behandelten Themen reichen von theoretischen Aspekten bis hin zu praktischen Anwendungen, einschliesslich Automata, linearer Arithmetik, Verifikation, Wissensrepräsentation und Beweistheorie. Diese Sammlung bietet wertvolle Einblicke in die aktuellen Herausforderungen und Entwicklungen in der Logikprogrammierung und den verschiedenen Arten von KI-Logiken.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer