Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Model Building

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

406 b

59 222 Ft

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

3 825 Ft

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

Hardback

21 046 Ft

LE PRINCE DE HOMBOURG (NE) Von kleist heinrich

Paperback

7 299 Ft

LASSER, LE DETECTIVE DES DIEUX - INTEGRALE 1 Philippe WARD

Hardback

7 239 Ft

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

Paperback

35 116 Ft

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

Paperback

7 953 Ft

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

Paperback

3 065 Ft

weimarische Musenhof 1756-1781 Wilhelm Bode

Paperback

20 623 Ft

Deadly Revenge - The Neighbor Kitty Stone

Paperback

4 570 Ft

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

Paperback

14 815 Ft

CARTE DES VELOROUTES DE FRANCE ET D'EUROPE Book

binding.

4 598 Ft

Didaktischer Entwurf einer Einheit zum Thema "Zachaus Andreas Bloch

Paperback

5 560 Ft

Destruction Lucifer's Aid Audio

Audio CD

5 633 Ft

International vergleichende Wirtschaftspolitik. J. Benard

Paperback

28 166 Ft

Retorno a la Isla Blanca LAURA GALLEGO

Audio CD

4 671 Ft

Die heilende Kraft der Meditation Jon Kabat-Zinn

Paperback

6 931 Ft

Das Tagebuch des Verführers S

Paperback

6 931 Ft

Gotthardbahn Gottlieb Koller

Paperback

10 346 Ft

Die Losungen Peter Zimmerling

Hardback

7 736 Ft

Enfermedad Periodontal en Hipertensos Sharon Alexandra Ortiz de Orue Serrano

Paperback

18 915 Ft

Nanocompositos de Prolipropileno e argila Brandao Da Cunha Bartira

Paperback

18 915 Ft

Ifrs 9 VICTOR SCHAUER

Paperback

8 671 Ft

Schleich Falcon, Kunststoff-Figur Schleich®

Toy

4 128 Ft

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

Paperback

14 083 Ft

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.