Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jacques Duparc
Themen in »Computer Science Logic«
AI logics calculi classical logic complexity computational logic finite models heuristics lambda calculus linear logic logic nonclassical logic optimization program logic proof theory semantics
Stimmen zu »Computer Science Logic«
Details
ISBN: 9783540749141
Verlag: Springer Berlin
Erscheinung: 30.08.2007