Tagung "Theoretische Probleme der Informatik" vom 16.10. bis 17.10.1985.
Contributors: Technische Hochschule Karl-Marx-Stadt.
Series: Tagungsberichte / Technische Hochschule Karl-Marx-Stadt ;; Heft 8, 1986; Wissenschaftliche Tagung; Tagungsberichte (Technische Hochschule Karl-Marx-Stadt) ;; Heft 9.; Wissenschaftliche Tagung (Technische Hochschule Karl-Marx-Stadt.
Publisher: Technische Hochschule Karl-Marx-Stadt, Sektion Informatik
Published: 1986
Place of publication: Karl-Marx-Stadt
Language: ger
Number of pages: 89
Subjects: Automatic control -- Congresses.; Fuzzy systems -- Congresses.; Online data processing -- Congresses.
Notes: Includes bibliographies.
English and German.
Conference held at the Technische Hochschule Karl-Marx-Stadt.
Table of contents: title: Some mathematical problems connected with the construction of fuzzy controllers / S. Gottwald; title: DAD-2 / W. Heicking, D. Koch; title: Darstellung technischer Objekte in Wissensbasen / W. Oertel; title: Eine einheitliche Nutzerschnittstelle für LISP / P. Richter, W. Riedel; title: Möglichkeiten und Grenzen des automatischen Theorembeweisens / K. Schulz; title: Ein PROLOG-Interprester in LISP / R. Staudte, W. Richter; title: Zur Einbeziehung von Wissensbasen in Problemlösungsprozesse der stoffwandelnden Industrie / W. Weiss, K.-H. Rauchhaus, W. Dreyer; title: Structure and functional organziation of factographical type on-line system / A. Tassev, V. Philev.