Jörg H. Siekmann, Dieter Hutter, Werner Stephan

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

We couldn't estimate the reading time for this book.

Author

Publication

2011 - Springer London, Limited

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139783540322542
ISBN-10354032254X
Better World Books9783540322542
Open LibraryOL37385042M

Classifications

LCCQ334-342

Subjects

Topics

Reasoning Technique Automation Automatic theorem proving Symbolic and mathematical Logic

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!