Automated Reasoning, Fachbücher von Deepak Kapur, Christoph Weidenbach, Stéphane Demri
Das Buch "Automated Reasoning" dokumentiert die refereed Proceedings der 7. Internationalen Gemeinsamen Konferenz über Automa... 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 "Automated Reasoning" dokumentiert die refereed Proceedings der 7. Internationalen Gemeinsamen Konferenz über Automatisches Schliessen (IJCAR 2014), die im Rahmen des Vienna Summer of Logic 2014 in Wien, Österreich, stattfand. Diese Konferenz vereinte drei bedeutende Veranstaltungen im Bereich des automatischen Schliessens: die Internationale Konferenz über Automatisches Schliessen (CADE), das Internationale Symposium über die Grenzen der Kombinationssysteme (FroCoS) und die Internationale Konferenz über Automatisches Schliessen mit analytischen Tabellen und verwandten Methoden (TABLEAUX). Aus 83 eingereichten Arbeiten wurden 26 überarbeitete Forschungsarbeiten und 11 Systembeschreibungen ausgewählt, die zusammen mit drei eingeladenen Vorträgen präsentiert werden. Die Beiträge sind in thematische Abschnitte unterteilt, die sich mit verschiedenen Aspekten des automatischen Schliessens befassen, darunter HOL, SAT, QBF, SMT, Gleichungsbeweisführung, Verifikation, Beweistheorie und mehr.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer