Benachrichtigen Sie mich, sobald der Artikel lieferbar ist.
Die Datenschutzbestimmungen habe ich zur Kenntnis genommen.

Assertion Level Proof Planning with Compiled Strategies

39,90 € *

inkl. MwSt. zzgl. Versandkosten

Lieferzeit ca. 5 Tage

This book presents new techniques that allow the automatic verification and generation of... mehr
Produktinformationen "Assertion Level Proof Planning with Compiled Strategies"
This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus is extended by the deep inference paradigm which allows the application of inference rules at arbitrary depth inside logical expressions and provides new proofs that are exponentially shorter and not available in the sequent calculus without cut. In addition, a strategy language for abstract underspecified declarative proof patterns is developed. Together, the complementary methods provide a framework to automate declarative proofs. The benefits of the techniques are illustrated by practical applications.
Fachbereich: Elektro- & Informationstechnik
Titel Assertion Level Proof Planning with Compiled Strategies Autor Dominik... mehr
Titel Assertion Level Proof Planning with Compiled Strategies
Autor Dominik Dietrich
Erschienen 1. Aufl. 10.08.2012
Fachbereich Ingenieurwissenschaften, Elektro- & Informationstechnik
Kategorie Dissertation
Hochschule Universität des Saarlandes
Umschlag Softcover (Paperback)
Maße 21,0 x 14,8 cm (DIN A5)
Umfang 341 Seiten
Sprache Deutsch
ISBN 13 978-386376-019-9
Preis 3,90 Eur[D] / 44,90 Eur[A] / 53,95 CHF / 55,30 USD
Zustand Neu
Keywords
proof planning, declarative proof, assertion level, deep inference, declarative tactic, inference paradigm, proof planning, proof refinement, deep aplication, level proof, proof theory, CORE, backward aplication, deduction modul, proof strategies, proofs
Dominik Dietrich was born in 1980 in Saarbrücken, Germany. He studied Computer science and... mehr

Dominik Dietrich was born in 1980 in Saarbrücken, Germany. He studied Computer science and Mathematics at Saarland University in Saarbrücken, where he earned his Ph.D in 2011 under the supervision of Jörg Siekmann. His research focuses on automated reasoning, formal methods, and semantic based data and process management. Dominik is currently working as a researcher in the Cyber Physical Systems department of the German Research Center for Artificial Intelligence (DFKI) in Bremen.

Bewertungen lesen, schreiben und diskutieren... mehr
Kundenbewertungen für "Assertion Level Proof Planning with Compiled Strategies"
Bewertung schreiben
Bitte geben Sie die Zeichenfolge in das nachfolgende Textfeld ein.
Die Datenschutzbestimmungen habe ich zur Kenntnis genommen.

Die mit einem * markierten Felder sind Pflichtfelder.

Zuletzt angesehen
Fragen 0
Lesen Sie von weiteren Kunden gestellte Fragen zu diesem Artikel mehr

Frage Stellen

Mit * gekennzeichnete Felder sind Pflichtfelder.

Beantwortete Fragen

Keine Fragen vorhanden
Frage stellen