An edition of Mechanizing mathematical reasoning (2005)

Mechanizing Mathematical Reasoning

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

Jörg H. Siekmann, Dieter Hutte ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

March 1, 2022 | History

Edit

An edition of Mechanizing mathematical reasoning (2005)

This edition doesn't have a description yet. Can you add one?

Publish Date

2011

Publisher

Springer London, Limited

Language

English

Check nearby libraries

Buy this book

Previews available in: English

Showing 2 featured editions. View all 2 editions?

Edition	Availability
1 Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2011, Springer London, Limited in English 354032254X 9783540322542	aaaa Not in Library Libraries near you: WorldCat
2 Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) April 6, 2005, Springer Paperback in English - 1 edition 3540250514 9783540250517	zzzz Not in Library Libraries near you: WorldCat