Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Author
Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Publisher
Springer-Verlag Berlin Heidelberg
Language
English
Edition
1
Year
2013
Page
259
ISBN
978-3-642-36674-1,978-3-642-36675-8
File Type
pdf
File Size
3.9 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book