Automated Deduction – CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Robert Nieuwenhuis
Themen in »Automated Deduction – CADE-20«
Boolean algebra Erfüllbarkeitsproblem der Aussagenlogik algorithms automated code verification automated deduction automated reasoning complexity data structures formal verification logic logic programming meta theory modeling theorem proving verification
Stimmen zu »Automated Deduction – CADE-20«
Details
ISBN: 9783540318644
Verlag: Springer Berlin
Erscheinung: 25.08.2005