Mechanizing Mathematical Reasoning
Subtitle: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Publisher: Springer London, Limited
Published: 2011
Language: eng
ISBN-13: 9783540322542
Subjects: Reasoning