Computer Science Logic
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jerzy Marcinkowski
Themen in »Computer Science Logic«
3-SAT AI logics Erfüllbarkeitsproblem der Aussagenlogik calculus classical logic complexity computer science logic linear logic logic mathematical logic model checking proving term rewriting theorem proving verification
Stimmen zu »Computer Science Logic«
Details
ISBN: 9783540301240
Verlag: Springer Berlin
Erscheinung: 09.09.2004