ICDT '90: Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings ICDT '90: Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings
The Logic of Theory Change: Workshop, Konstanz, Frg, October 13-15, 1989, Proceedings The Logic of Theory Change: Workshop, Konstanz, Frg, October 13-15, 1989, Proceedings
Applied Algebra, Algebraic Algorithms and Error-correcting Codes: 9th International Symposium, Aaecc-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings: Proceedings Applied Algebra, Algebraic Algorithms and Error-correcting Codes: 9th International Symposium, Aaecc-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings: Proceedings
Vdm '91. Formal Software Development Methods: 4th International Symposium of Vdm Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991, Proceedings: 1991,v.2: v.2: Tutorials Vdm '91. Formal Software Development Methods: 4th International Symposium of Vdm Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991, Proceedings: 1991,v.2: v.2: Tutorials
CAAP 92: 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings CAAP 92: 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings
Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990, Proceedings Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990, Proceedings
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 AND Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991 - Proceedings Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 AND Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991 - Proceedings
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: 5th International Conference, IEA/Aie-92, Paderborn, Germany, June 9-12, 1992. Proceedings: 5th: Proceedings of the Fifth International Conference, IEA/AIE '92, Paderborn, Germany, June 9-12, 1992 Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: 5th International Conference, IEA/Aie-92, Paderborn, Germany, June 9-12, 1992. Proceedings: 5th: Proceedings of the Fifth International Conference, IEA/AIE '92, Paderborn, Germany, June 9-12, 1992
Automata, Languages and Programming: 19th: International Colloquium, Wien, Austria, July 13-17, 1992 - Proceedings Automata, Languages and Programming: 19th: International Colloquium, Wien, Austria, July 13-17, 1992 - Proceedings
Software Process Technology: Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 - Proceedings Software Process Technology: Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 - Proceedings
Compiler Construction: 4th International Conference, Cc '92, Paderborn, Frg, October 5-7, 1992. Proceedings Compiler Construction: 4th International Conference, Cc '92, Paderborn, Frg, October 5-7, 1992. Proceedings