Workshop on Automated Reasoning

Jürgen Müller, Rolf Socher-Ambrosius. Workshop on Automated Reasoning. KI, 3(4):20-21, 1989.

Abstract

Abstract is missing.