Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Luke Ong
Themen in »Computer Science Logic«
Constraint ai logics classical logic complexity computational logic finite models higher order logic lambda calculus linear logic logic logic programming nonclassical logic semantics verifi verification
Stimmen zu »Computer Science Logic«
Details
ISBN: 9783540318972
Verlag: Springer Berlin
Erscheinung: 07.09.2005