Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Applied Logic Series 8
€213.99
(inklusive MwSt.)
Verfügbarkeit: Titel wird nicht mehr am Lager geführt, wird nicht besorgt
Weitere Details
Erschienen: 09.12.2010
Umfang: xx, 481 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9789048150502
Umbreit-Nr.: 1508304
