Dieter Hutter,Werner Stephan: Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
____________________________
Author: Dieter Hutter,Werner Stephan
Number of Pages: 570 pages
Published Date: 01 Apr 2005
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540250517
Download Link: Click Here
____________________________