Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 2605 - Lecture Notes in Artificial Intelligence
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 23.02.2005
Umfang: x, 570 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540250517
Umbreit-Nr.: 1753232
