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: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 30.06.1998
Umfang: xx, 481 S.
Sprache: ENG
Einband: GEB
ISBN/EAN: 9780792351290
Umbreit-Nr.: 1627805
