Aussagenlogik: Deduktion und Algorithmen Deduktion und Algorithmen

"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien

Bibliographic Details
Main Author: Lettmann, Theodor
Format: eBook
Language:German
Published: Wiesbaden Vieweg+Teubner Verlag 1994, 1994
Edition:1st ed. 1994
Series:Leitfäden und Monographien der Informatik
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Summary:"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien
Physical Description:X, 438 S. online resource
ISBN:9783322848093