دانلود کتاب Deduktionssysteme: Automatisierung des logischen Denkens
by K.H. Bläsius und H.-J. Bürckert
|
عنوان فارسی: سیستم های کسر: اتوماسیون تفکر منطقی |
دانلود کتاب
جزییات کتاب
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.]