Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

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


Book Informaton

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

Author

Dieter Hutter; Werner Stephan

Series

Lecture Notes in Computer Science

Volume

2605

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540250517, 9783540322542

ARI Id

1674219907261


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo