Ebook: Deduktionssysteme: Automatisierung des logischen Denkens

Deduktionssysteme: Automatisierung des logischen Denkens
Herausgegeben von K.H. Bläsius und H.-J. Bürckert

mit Beiträgen von
Prof. Dr. K.H. Bläsius
Dr. H.-J. Bürckert
Dr. N. Eisinger
Dr. D. Hutter
M. Kohlhase
A. Nonnengart
Dr. H.J. Ohlbach
A. Präcklein
Prof. Dr. J.H. Siekmann
2., völlig überarbeitete und erweiterte Auflage 1992

R. Oldenbourg Verlag München Wien 1992

Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Deduktionssysteme : Automatisierung des logischen Denkens /
hrsg. von K.H. Bläsius und H.-J. Bürckert. Mit Beitr. von K.
H. Bläsius ... - 2., völlig überarb. und erw. Aufl. - München ;
Wien : Oldenbourg, 1992
ISBN 3-486-22033-0
NE: Bläsius, Karl H. [Hrsg.]