The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
Buch in deiner Nähe kaufen
oder
Beschreibung
Ein besseres Verständnis theorembeweisender Methoden
Autor*in
David A. Plaisted
Themen in »The Efficiency of Theorem Proving Strategies«
Beweisen Komplexität Natur Prolog Resolution Theorembeweisen Verfahren behavior
Stimmen zu »The Efficiency of Theorem Proving Strategies«
Details
ISBN: 9783322938626
Verlag: Vieweg & Teubner
Erscheinung: 13.03.2013