Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

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 125 b
18 797 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Komunikace a sloh Český Jazyk pro střední školy / Audio Audio CD
common.buy 7 533 Ft
MODELO PROFESIONAL UNA GUIA COMPLETA PARA OBTENER RESULTADO / Book Book
common.buy 5 475 Ft
Michael Jordan Harris Lo / Book Hardback
common.buy 5 111 Ft
Tanec s gestapem Paul Dukes / Book Sheet
common.buy 6 242 Ft
LA SOMBRA QUE HABITA EN NOSOTROS CALERO RODRIGUEZ / Book Hardback
common.buy 13 157 Ft
Angelika Kauffmann - Eine Analyse der mythologischen Einfigurenhistorienbilder anhand der Serie "verlassener und trauernder Frauen Norman Conrad / Book Paperback
common.buy 6 088 Ft
LA PETITA GASELA TE POR MARION BILLET / Book Paperback
common.buy 4 314 Ft
50 Cuentos Cortos 50 Short Stories Carlos James Perkinson / Book Paperback
common.buy 4 678 Ft
Die Responsible Care-Initiative der chemischen Industrie aus institutionenökonomischer Sicht Sabine Eckerle / Book Paperback
common.buy 20 152 Ft
Indizieren - Visualisieren Carolin Artz / Book Paperback
common.buy 11 005 Ft
Les Grands Maitres de l'Arboriculture, Expose Du Traitement de la Branche A Fruit Du Poirier LEFEVRE-L-A-L / Book Paperback
common.buy 8 165 Ft
Arbeitsrechtliche Privilegien der Religionsgemeinschaften als Ausnahme vom allgemeinen Gleichbehandlungsgrundsatz (Band 47). Ein Rechtsvergleich zwisc Christian Gleich / Book Paperback
common.buy 14 089 Ft
Praha největší ostrov nevykopaných pokladů Jiří Zeman / Book Hardback
common.buy 2 949 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

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

You might also be interested in

Finite Horizon H and Related Control Problems M.Bala Subrahmanyam / Book Hardback
common.buy 20 406 Ft
Extract from Captain Stormfields Visit to Heaven Mark Twain / Book Paperback
common.buy 4 663 Ft
Glow of the Oil Lamp Art P. O'Dalaigh / Book Hardback
common.buy 8 753 Ft
History of Innovation Center of Military History / Book Paperback
common.buy 6 795 Ft
Last Flight of the Archaeopteryx Bryan Spykerman / Book Paperback
common.buy 5 490 Ft
Around Shabbona Nancy Fleming Pardridge / Book Paperback
common.buy 8 031 Ft
Murder in the Heartland: Book Three Harry Spiller / Book Hardback
common.buy 9 187 Ft
Around Greene County and the Catskills Raymond Beecher / Book Hardback
common.buy 9 954 Ft
Christian Girl Trish Shaver / Book Paperback
common.buy 3 806 Ft
Spotlight Patricia Wentworth / Book Paperback
common.buy 10 318 Ft
Boy Scouts of America Boy Scouts of America / Book Hardback
common.buy 10 422 Ft
In Tune with the Infinite Ralph Waldo Trine / Book Hardback
common.buy 9 276 Ft
Coming soon
I Heart Koalas Lizzie Preston / Book Paperback
common.buy 2 979 Ft
Oeuvres Choisies De D. Diderot V3 (1878) Denis Diderot / Book Hardback
common.buy 18 453 Ft
Rover Group Mike Gould / E-book Adobe ePub DRM
common.buy 11 637 Ft
Coming soon
Non-Obvious Guide to Artificial Intelligence MEGHJI SULTAN / Book Paperback
common.buy 6 407 Ft
Why Vegans Have Smaller Brains Alison Morgan / Book Hardback
common.buy 12 754 Ft
Case Study in Visual Agnosia Revisited Glyn Humphreys / Book Paperback
common.buy 29 279 Ft
Band-Ferromagnetism K. Baberschke / Book Paperback
common.buy 20 406 Ft
Reproduction in Fungi C. Elliot / Book Hardback
common.buy 81 295 Ft
Grist for the Mill Ram Dass / Book Paperback
common.buy 4 180 Ft
New English Grammar Henry Sweet / Book Paperback
common.buy 13 307 Ft
Researching, Reflecting and Writing about Work Fiona Gardner / Book Paperback
common.buy 22 618 Ft
Japanese Language in Use Toshiko Yamaguchi / Book Paperback
common.buy 20 795 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?