Cryptography and Coding : Fifth IMA Conference; Cirencester,UK, December 1995. Proceedings
Logics for Concurrency : Structure versus Automata
Graphics Recognition. Methods and Applications : First International Workshop,University Park, PA, USA, August (10-11), 1995. Selected Papers
Advances in Cryptology - ASIACRYPT 96 : International Conference on the Theory and Applications of Crypotology and Information Security,Kyongju, Kor
The Design of Intelligent Agents : A Layered Approach
Automatic Ambiguity Resolution in Natural Language Processing : An Empirical Approach
Nonmonotonic Logics : Basic Concepts,Results, and Techniques
Multi-Agent Rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World,MAAMAW97, Ronneby, Sweden, May 13-16, 1997, Pr
Theorem Proving in Higher Order Logics : 10th International Conference,TPHOLs97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Category Theory and Computer Science : 7th International Conference,CTCS97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Gesture and Sign Language in Human-Computer Interaction : International Gesture Workshop,Bielefeld, Germany, September 17-19, 1997, Proceedings
Online Algorithms : The State of the Art
