Hans Kleine-Büning, Theodor Lettmann

Broschiertes Buch

Aussagenlogik: Deduktion und Algorithmen

Deduktion und Algorithmen

Beschreibung

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

Produktdetails

• Leitfäden und Monographien der Informatik
• Verlag: Vieweg+Teubner / Vieweg+Teubner Verlag
• Artikelnr. des Verlages: 978-3-519-02133-9
• 1994.
• Seitenzahl: 452
• Erscheinungstermin: 1. Januar 1994
• Deutsch
• Abmessung: 235mm x 155mm x 25mm
• Gewicht: 688g
• ISBN-13: 9783519021339
• ISBN-10: 3519021331
• Artikelnr.: 27173832