Free delivery for orders over 69.99€

Check order status

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

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Automated Model Building

Name: Automated Model Building
Brand: Springer
SKU: 01974967
Price: 161.54 EUR
Availability: InStock
Author: Ricardo Caferra
ISBN: 9789048166961

Ricardo Caferra

Alexander Leitsch

Nicolas Peltier

Language

English

Book Paperback

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

Libristo code: 01974967

394 b

161.54 €

315.95 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

LE PRINCE DE HOMBOURG (NE) Von kleist heinrich

Paperback

20.18 € 39.46 лв

Wybrany dla niej. Rodzina Santo. Tom 2 Agnieszka Brückner

Paperback

8.93 € 17.47 лв

Monelle et les baby sitters BRISAC

Paperback

10.06 € 19.67 лв

Destruction Lucifer's Aid Audio

Audio CD

15.86 € 31.02 лв

CARTE DES VELOROUTES DE FRANCE ET D'EUROPE Book

binding.

12.32 € 24.09 лв

Training express pour le triathlon - Optimisez votre entraînement en 5 heures par semaine Sébastian Balondrade

Paperback

32.04 € 62.66 лв

LASSER, LE DETECTIVE DES DIEUX - INTEGRALE 1 Philippe WARD

Hardback

19.97 € 39.06 лв

Der kleine Gruselshop - Der zahnlose Vampir Teemu Juhani

Hardback

10.57 € 20.68 лв

Gestión de la diversidad y su impacto en el rendimiento de la empresa: un estudio empírico Toro Dupouy

Paperback

103.47 € 202.36 лв

COMO EL GATO Y EL PERRO DOMINGUEZ

Paperback

17.92 € 35.04 лв

Русский без границ 2: учебник для детей из русскоговорящих семей. Грамматика Марина Низник

Paperback

29.21 € 57.14 лв

Deadly Revenge - The Neighbor Kitty Stone

Paperback

12.37 € 24.19 лв

Enkeli Joni Järvi-Laturi

Paperback

11.29 € 22.08 лв

Ifrs 9 VICTOR SCHAUER

Paperback

23.56 € 46.09 лв

International vergleichende Wirtschaftspolitik. J. Benard

Paperback

98.59 € 192.82 лв

Didaktischer Entwurf einer Einheit zum Thema "Zachaus Andreas Bloch

Paperback

15.14 € 29.62 лв

Konzernrechnungslegung nach IFRS und HGB im Vergleich unter Berucksichtigung des Bilanzrechtsmodernisierungsgesetzes Markus Singer

Paperback

40.31 € 78.83 лв

weimarische Musenhof 1756-1781 Wilhelm Bode

Paperback

56.12 € 109.76 лв

Chr. W. Dohm - Ein Beitrag zur Geschichte der Nationaloekonomie Mordché W. Rappaport

Paperback

21.61 € 42.27 лв

Die heilende Kraft der Meditation Jon Kabat-Zinn

Paperback

18.84 € 36.85 лв

Die Losungen Peter Zimmerling

Hardback

25.82 € 50.51 лв

Gotthardbahn Gottlieb Koller

Paperback

28.14 € 55.03 лв

Nanocompositos de Prolipropileno e argila Brandao Da Cunha Bartira

Paperback

51.45 € 100.62 лв

Boden Mecklenburgs E Geinitz

Hardback

32.81 € 64.17 лв

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

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

You might also be interested in

Pathway To His Presence John Bevere

Hardback

18.94 € 37.05 лв

Shape Selective Catalysis in Industrial Applications, Second Edition, Francis G. Dwyer

Hardback

298.14 € 583.10 лв

Advances in Subsea Pipeline Engineering and Technology C.P. Ellinas

Paperback

107.78 € 210.80 лв

Pure Immanence Gilles Deleuze

Paperback

21.31 € 41.67 лв

An Offer from a Gentleman Deluxe Collector's Edition Julia Quinn

Hardback

23.56 € 46.09 лв

A Lexicon of Freemasonry: Containing a Definition of All Its Communicable Terms, Notices of Its History, Traditions, and Antiquities, and an Acc Albert Gallatin Mackey

Paperback

31.27 € 61.15 лв