Logic for Programming, Artificial Intelligence, and Reasoning, Fachbücher von Edmund M. Clarke, Andrei Voronkov
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
