Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Zoltán Ésik
Themen in »Computer Science Logic«
AI logics Action Constraint classical logic complexity computational logic finite models higher order logic linear logic logic logic programming mathematical logic model checking nonclassical logic permutative logic
Stimmen zu »Computer Science Logic«
Details
ISBN: 9783540454595
Verlag: Springer Berlin
Erscheinung: 28.09.2006