Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Automated Model Building

Name: Automated Model Building
Brand: Springer
SKU: 01974967
Price: 154.26 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

373 b

154.26 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Monelle et les baby sitters BRISAC

Paperback

10.60 €

Histoire de Sainte Cecile Vierge Romaine Et Martyre (1853) Prosper Gueranger

Hardback

55.29 €

LE PRINCE DE HOMBOURG (NE) Von kleist heinrich

Paperback

20.41 €

LASSER, LE DETECTIVE DES DIEUX - INTEGRALE 1 Philippe WARD

Hardback

20.21 €

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

Paperback

89.56 €

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

Paperback

20.51 €

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

Paperback

8.68 €

weimarische Musenhof 1756-1781 Wilhelm Bode

Paperback

53.37 €

Deadly Revenge - The Neighbor Kitty Stone

Paperback

11.72 €

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

Paperback

38.30 €

CARTE DES VELOROUTES DE FRANCE ET D'EUROPE Book

binding.

12.73 €

Didaktischer Entwurf einer Einheit zum Thema "Zachaus Andreas Bloch

Paperback

14.45 €

Destruction Lucifer's Aid Audio

Audio CD

15.15 €

International vergleichende Wirtschaftspolitik. J. Benard

Paperback

105.94 €

Retorno a la Isla Blanca LAURA GALLEGO

Audio CD

12.02 €

Die heilende Kraft der Meditation Jon Kabat-Zinn

Paperback

17.88 €

Das Tagebuch des Verführers S

Paperback

17.88 €

Gotthardbahn Gottlieb Koller

Paperback

26.78 €

Die Losungen Peter Zimmerling

Hardback

21.83 €

Enfermedad Periodontal en Hipertensos Sharon Alexandra Ortiz de Orue Serrano

Paperback

48.92 €

Nanocompositos de Prolipropileno e argila Brandao Da Cunha Bartira

Paperback

48.92 €

Ifrs 9 VICTOR SCHAUER

Paperback

22.43 €

Schleich Falcon, Kunststoff-Figur Schleich®

Toy

11.41 €

Nomenclature Des Voies Publiques Et Privees, Avec La Date Des Actes Officiels Les Concernant PARIS

Paperback

37.09 €

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.