Paperback
Add to list Added to list Aussagenlogik: Deduktion Und Algorithmen
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, inwieweit und mit wel- chen…
Available to order, ships in 7-14 daysAvailable to order
