Frontiers of Combining Systems
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Boris Konev
Themen in »Frontiers of Combining Systems«
Erfüllbarkeitsproblem der Aussagenlogik Resolution algorithm algorithms automated deduction binary decision diagrams constraint solving decision procedures declarative programming logic model checking programming proof engines term rewriting theore
Stimmen zu »Frontiers of Combining Systems«
Details
ISBN: 9783540746218
Verlag: Springer Berlin
Erscheinung: 23.08.2007