Postmodernism, or, The cultural logic of late capitalism

Why not kill them all? : the logic and prevention of mass political murder

Fundamentals of Switching Theory and Logic Design A Hands on Approach

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers