Deduktionssysteme
Subtitle: Automatisierung des logischen Denkens
By: herausgegeben von K.H. Bläsius und H.-J. Bürckert ; mit Beiträgen von K.H. Bläsius ... [et al.].
Contributors: Bläsius, K. H.; Bürckert, H.-J.
Publisher: R. Oldenbourg
Published: 1987
Place of publication: München
Language: ger
Number of pages: 179
Subjects: Automatic theorem proving.; Artificial intelligence.
Notes: Bibliography: p. [173].
Includes indexes.