Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Bulanık Mantığa Dayalı kontrol Kartları ve Süreç Yeterliliği = Control Charts and Process Capability Based on Fuzzy Logic

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Mathematical Logic and Model Theory A Brief Introduction

Proofs and Algorithms An Introduction to Logic and Computability