Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits

The logic of environmentalism : anthropology, ecology, and postcoloniality

The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management

Logically determined design clockless system design with NULL convention logic

Logic, meaning, and conversation semantical underdeterminacy, implicature, and their interface

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings