Reasoning and Revision in Hybrid Representation Systems
Database Systems of the 90s : International Symposium,Müggelsee, Berlin, FRG, November 5-7, 1990, Proceedings
Information Systems and Artificial Intelligence: Integration Aspects : First Workshop,Ulm, FRG, March 19-21, 1990. Proceedings
An Approach to Knowledge Base Management
Public-Key Cryptography: State of the Art and Future Directions : E.I.S.S. Workshop,Oberwolfach, Germany, July 3-6, 1991. Final Report
Nonclassical Logics and Information Processing : International Workshop,Berlin, Germany, November 9-10, 1990. Proceedings
Parallel,Distributed and Multiagent Production Systems
Computing Fundamentals: The Theory and Practice of Software Design with BlackBox Component Builder
Parallel Processing : Proceedings of the Sagamore Computer Conference,August 20-23, 1974
Interval Mathematics : Proceedings of the International Symposium Karlsruhe,West Germany, May 20-24, 1975
ECI Conference 1976 : Proceedings of the 1st Conference of the European Cooperation in Informatics,Amsterdam, August 9-12, 1976
Automata,Languages and Programming : Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
