5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2003 Catania, Sicily, Italy, November 3–7, 2003 Proceedings

OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings

6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings

And Its Relationship to Predicate Logic

First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings

9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings

First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings

Introduction to Using the Common Algebraic Specification Language

16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings