Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9, Band 9)
Ein dreibändiges Lehrwerk über automatisierte Deduktion, das zunächst die theoretischen Kalküle und Methoden einführt, anschließend fortgeschrit ...
Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.
eBay
Back Market DE
AsGoodAsNew DE
Alternate DE
Beauty Welt (DE)
babymarkt.de
DeubaXXL DE
Allgemein
Marke
Wolfgang Bibel
ISBN
Wolfgang Bibel 0792351304
