Mechanizing Mathematical Reasoning Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday

Mechanizing Mathematical Reasoning Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday

Author：edited by Dieter Hutter, Werner Stephan.
Publisher：Springer-Verlag GmbH.
ISBN：9783540322542
資料來源：HyRead 電子書
Publication Date：2005.
Search Same Author