Filter
Sökt på: Böcker av David A. Plaisted
Filter
totalt 3 träffar
The Efficiency of Theorem Proving Strategies
E-bok,
2013,
Tyska,
ISBN 9783322938626
Dieses Buch in englischer Sprache widmet sich dem Thema der Effizienz von Beweisstrategien und bietet eine vergleichende und asymptotische Analyse. Das Werk stellt erstmalig …
Efficiency of Theorem Proving Strategies
E-bok,
2013,
Engelska,
ISBN 9783663078470
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their …
The Efficiency of Theorem Proving Strategies
häftad,
1999,
Engelska,
ISBN 9783528155742
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their …