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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Automated Model Building

Language EnglishEnglish
Book Paperback
Book Automated Model Building Ricardo Caferra
Libristo code: 01974967
Publishers Springer, December 2010
This is the first book on automated model building, a discipline of automated deduction that is of g... Full description
? points 394 b
162.24 €
317.32  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

weimarische Musenhof 1756-1781 Wilhelm Bode / Book Paperback
common.buy 56.36 € 110.24 лв
Retorno a la Isla Blanca LAURA GALLEGO / Audio Audio CD
common.buy 13.66 € 26.72 лв
Monelle et les baby sitters BRISAC / Book Paperback
common.buy 11.03 € 21.57 лв
LE PRINCE DE HOMBOURG (NE) Von kleist heinrich / Book Paperback
common.buy 21.24 € 41.55 лв
LASSER, LE DETECTIVE DES DIEUX - INTEGRALE 1 Philippe WARD / Book Hardback
common.buy 21.04 € 41.14 лв
Gestión de la diversidad y su impacto en el rendimiento de la empresa: un estudio empírico Toro Dupouy / Book Paperback
common.buy 103.96 € 203.34 лв
Chr. W. Dohm - Ein Beitrag zur Geschichte der Nationaloekonomie Mordché W. Rappaport / Book Paperback
common.buy 21.71 € 42.45 лв
Wybrany dla niej. Rodzina Santo. Tom 2 Agnieszka Brückner / Book Paperback
common.buy 9.17 € 17.94 лв
Das Tagebuch des Verführers S / Book Paperback
common.buy 18.92 € 37.01 лв
Deadly Revenge - The Neighbor Kitty Stone / Book Paperback
common.buy 12.48 € 24.40 лв
Konzernrechnungslegung nach IFRS und HGB im Vergleich unter Berucksichtigung des Bilanzrechtsmodernisierungsgesetzes Markus Singer / Book Paperback
common.buy 40.48 € 79.17 лв
CARTE DES VELOROUTES DE FRANCE ET D'EUROPE Book binding.
common.buy 13.30 € 26.01 лв
Didaktischer Entwurf einer Einheit zum Thema "Zachaus Andreas Bloch / Book Paperback
common.buy 15.21 € 29.75 лв
Destruction Lucifer's Aid Audio Audio CD
common.buy 15.88 € 31.06 лв
International vergleichende Wirtschaftspolitik. J. Benard / Book Paperback
common.buy 110.87 € 216.85 лв
Die heilende Kraft der Meditation Jon Kabat-Zinn / Book Paperback
common.buy 18.92 € 37.01 лв
Histoire de Sainte Cecile Vierge Romaine Et Martyre (1853) Prosper Gueranger / Book Hardback
common.buy 55.13 € 107.82 лв
Gotthardbahn Gottlieb Koller / Book Paperback
common.buy 28.26 € 55.26 лв
Die Losungen Peter Zimmerling / Book Hardback
common.buy 26.14 € 51.13 лв
Enfermedad Periodontal en Hipertensos Sharon Alexandra Ortiz de Orue Serrano / Book Paperback
common.buy 51.67 € 101.06 лв
Nanocompositos de Prolipropileno e argila Brandao Da Cunha Bartira / Book Paperback
common.buy 51.67 € 101.06 лв
Ifrs 9 VICTOR SCHAUER / Book Paperback
common.buy 23.67 € 46.29 лв
Schleich Falcon, Kunststoff-Figur Schleich® / Game/Toy Toy
common.buy 11.86 € 23.19 лв
Estudios Sobre La Asamblea Nacional Constituyente y Su Inconstitucional Convocatoria En 2017 Allan R. Brewer-Carias / Book Paperback
common.buy 40.99 € 80.18 лв

This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. §The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence. It can also be used as a textbook in advanced undergraduate courses.

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 Model Building
Author Ricardo Caferra, Alexander Leitsch, Nicolas Peltier
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 341
EAN 9789048166961
ISBN 9048166969
Libristo code 01974967
Publishers Springer
Weight 551
Dimensions 155 x 235 x 20

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence
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

Top
Pathway To His Presence John Bevere / Book Hardback
common.buy 15.88 € 31.06 лв
Shape Selective Catalysis in Industrial Applications, Second Edition, Francis G. Dwyer / Book Hardback
common.buy 291.22 € 569.58 лв
Advances in Subsea Pipeline Engineering and Technology C.P. Ellinas / Book Paperback
common.buy 108.24 € 211.71 лв
Top
An Offer from a Gentleman Deluxe Collector's Edition Julia Quinn / Book Hardback
common.buy 22.07 € 43.16 лв
Pure Immanence Gilles Deleuze / Book Paperback
common.buy 20.83 € 40.74 лв
A Place for Pluto Stef Wade / Book Board book
common.buy 6.96 € 13.61 лв
Lost on the Moon Rockwood / Book Paperback
common.buy 13.66 € 26.72 лв
eDemocracy- Public Online Engagement by the European Commission Matthias Ulrich / Book Paperback
common.buy 51.31 € 100.35 лв
Private James Patterson / Book Paperback
common.buy 11.19 € 21.88 лв
Preparing for Parenthood Anita Schweppe / Book Paperback
common.buy 20.78 € 40.64 лв
Positive Alternatives to Suspension Catherine (Catherine DeSalvo) DeSalvo / Book Paperback
common.buy 33.41 € 65.35 лв
Knickers, Biscuits & The Dark Arts of Rope Access Mike S. Martin / Book Paperback
common.buy 18.35 € 35.90 лв
JACKS BIRTHDAY Jenny Giles / Book Paperback
common.buy 19.49 € 38.12 лв
The Day My Private Part Died Carey Erichson / Book Paperback
common.buy 6.70 € 13.10 лв
Loveless, Vol. 13 Yun Kouga / Book Paperback
common.buy 8.40 € 16.43 лв
Medal of Honor, Revised & Updated Third Edition: Portraits of Valor Beyond the Call of Duty Peter Collier / Book Hardback
common.buy 45.02 € 88.05 лв
Coming soon
Familiars Stacey Halls / Book Paperback
common.buy 10.36 € 20.26 лв
To The Countryside BRIAN BAKER / Book Paperback
common.buy 13.66 € 26.72 лв
Survey of Accounting Carl Warren / Book Hardback
common.buy 148.52 € 290.49 лв
Bayou Baby Blake / Book Paperback
common.buy 7.89 € 15.42 лв
Large Print Sudoku Puzzles Red Book #1 (Hard): Hard Sudoku Puzzle Book including Instructions and Answer Keys Puzzy Publishers / Book Paperback
common.buy 8.50 € 16.63 лв
Lectures on Clinical Medicine: Delivered at the Hotel-Dieu, Paris, Volume 1 Armand Trousseau / Book Paperback
common.buy 32.49 € 63.54 лв
Pokémon: Giratina und der Himmelsritter / Pokémon: Der Aufstieg von Darkrai - 2-Movie-Box Satoshi Tajiri / Video DVD
common.buy 21.96 € 42.96 лв
British Women Artists Carolyn Trant / Book Paperback
common.buy 14.90 € 29.14 лв

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?