Aussagenlogik: Deduktion Und Algorithmen: Deduktion Und Algorithmen [German]

by Theodor Lettmann

Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen- trales Thema dieser Veranstaltungen ist die Frage,... This description may be from another edition of this product.

• Format: Paperback
• Language: German
• ISBN: 3519021331
• ISBN13: 9783519021339
• Release Date: January 1994
• Publisher: Vieweg+teubner Verlag
• Length: 438 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"