[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Automated Reasoning and Mathematics

Language EnglishEnglish
Book Paperback
Book Automated Reasoning and Mathematics Maria Paola Bonacina
Libristo code: 01663155
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2013
This Festschrift volume is published in honor of William W. McCune, an accomplished computer scienti... Full description
? points 146 b
61.97 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Praha největší ostrov nevykopaných pokladů Jiří Zeman / Hardback
common.buy 8.12 €
Komunikace a sloh Český Jazyk pro střední školy / Audio CD
common.buy 20.33 €
Japanese Language in Use Toshiko Yamaguchi / Paperback
common.buy 72.35 €
Case Study in Visual Agnosia Revisited Glyn Humphreys / Paperback
common.buy 73.96 €
Angelika Kauffmann - Eine Analyse der mythologischen Einfigurenhistorienbilder anhand der Serie "verlassener und trauernder Frauen Norman Conrad / Paperback
common.buy 19.21 €
Reproduction in Fungi C. Elliot / Hardback
common.buy 266.63 €
Finite Horizon H and Related Control Problems M.Bala Subrahmanyam / Hardback
common.buy 68.07 €
Arbeitsrechtliche Privilegien der Religionsgemeinschaften als Ausnahme vom allgemeinen Gleichbehandlungsgrundsatz (Band 47). Ein Rechtsvergleich zwisc Christian Gleich / Paperback
common.buy 40.27 €
Around Shabbona Nancy Fleming Pardridge / Paperback
common.buy 24.18 €
Band-Ferromagnetism K. Baberschke / Paperback
common.buy 68.07 €
Indizieren - Visualisieren Carolin Artz / Paperback
common.buy 31.90 €
Glow of the Oil Lamp Art P. O'Dalaigh / Hardback
common.buy 31.89 €

This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics.

About the book

Full name Automated Reasoning and Mathematics
Author Maria Paola Bonacina, Mark E. Stickel
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 259
EAN 9783642366741
ISBN 3642366740
Libristo code 01663155
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 454
Dimensions 155 x 235 x 16

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Business applications > Mathematical & statistical software
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account