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

作者：edited by Dieter Hutter, Werner Stephan.
出版社：Springer-Verlag GmbH.
ISBN：9783540322542
資料來源：HyRead 電子書
出版日期：2005.
搜尋同作者