8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings

Book

Pseudo-Differential Operators Proceedings of a Conference, held in Oberwolfach, February 2-8, 1986

Book

GWAI ... und ... Österreichische Artificial-Intelligence-Tagung ... Und 2. Österreichische Artificial-Intelligence-Tagung : Ottenstein/Niederösterreich, September 22 - 26, 1986. 10. 1986

Book

1987

Book

Robot Technology and Applications Proceedings of the 1st Robotics Europe Conference Brussels, June 27–28, 1984

Book

International Symposium on Theoretical Programming

Book

Objective Medical Decision-Making Systems Approach in Disease Workshop, Crete, Greece, April 30–May 5, 1985 Proceedings

Book

Logic Colloquium Symposium on Logic held at Boston, 1972-73