Armin B. Cremers, Elmar Eder, Ralf Hinze. Die Rolle der mathematischen Logik in der Künstlichen Intelligenz. In Armin B. Cremers, Rolf Haberbeck, Jürgen Seetzen, Ipke Wachsmuth, editors, Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage. Volume 17 of VDI Report, pages 60-65, Verein Deutscher Ingenieure VDI, Düsseldorf, 1992.
Abstract is missing.