Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Automated Model Building

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Model Building Ricardo Caferra
Libristo-code: 01974967
Uitgeverij Springer, december 2010
This is the first book on automated model building, a discipline of automated deduction that is of g... Volledige beschrijving
? points 373 b
153.94 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Monelle et les baby sitters BRISAC / Boek Gebonden (paperback)
common.buy 10.78 €
Histoire de Sainte Cecile Vierge Romaine Et Martyre (1853) Prosper Gueranger / Boek Gebonden (harde band)
common.buy 55.17 €
LE PRINCE DE HOMBOURG (NE) Von kleist heinrich / Boek Gebonden (paperback)
common.buy 20.57 €
LASSER, LE DETECTIVE DES DIEUX - INTEGRALE 1 Philippe WARD / Boek Gebonden (harde band)
common.buy 20.47 €
Gestión de la diversidad y su impacto en el rendimiento de la empresa: un estudio empírico Toro Dupouy / Boek Gebonden (paperback)
common.buy 99.16 €
Chr. W. Dohm - Ein Beitrag zur Geschichte der Nationaloekonomie Mordché W. Rappaport / Boek Gebonden (paperback)
common.buy 20.47 €
Wybrany dla niej. Rodzina Santo. Tom 2 Agnieszka Brückner / Boek Gebonden (paperback)
common.buy 8.67 €
weimarische Musenhof 1756-1781 Wilhelm Bode / Boek Gebonden (paperback)
common.buy 53.26 €
Deadly Revenge - The Neighbor Kitty Stone / Boek Gebonden (paperback)
common.buy 11.79 €
Konzernrechnungslegung nach IFRS und HGB im Vergleich unter Berucksichtigung des Bilanzrechtsmodernisierungsgesetzes Markus Singer / Boek Gebonden (paperback)
common.buy 38.23 €
CARTE DES VELOROUTES DE FRANCE ET D'EUROPE Boek binding.
common.buy 13.00 €
Didaktischer Entwurf einer Einheit zum Thema "Zachaus Andreas Bloch / Boek Gebonden (paperback)
common.buy 14.42 €
Destruction Lucifer's Aid Audio Audio cd
common.buy 15.12 €
International vergleichende Wirtschaftspolitik. J. Benard / Boek Gebonden (paperback)
common.buy 79.59 €
Retorno a la Isla Blanca LAURA GALLEGO / Audio Audio cd
common.buy 13.21 €
Die heilende Kraft der Meditation Jon Kabat-Zinn / Boek Gebonden (paperback)
common.buy 17.85 €
Das Tagebuch des Verführers S / Boek Gebonden (paperback)
common.buy 17.85 €
Gotthardbahn Gottlieb Koller / Boek Gebonden (paperback)
common.buy 26.72 €
Die Losungen Peter Zimmerling / Boek Gebonden (harde band)
common.buy 21.88 €
Enfermedad Periodontal en Hipertensos Sharon Alexandra Ortiz de Orue Serrano / Boek Gebonden (paperback)
common.buy 48.82 €
Nanocompositos de Prolipropileno e argila Brandao Da Cunha Bartira / Boek Gebonden (paperback)
common.buy 48.82 €
Ifrs 9 VICTOR SCHAUER / Boek Gebonden (paperback)
common.buy 22.39 €
Schleich Falcon, Kunststoff-Figur Schleich® / Spel/speelgoed Speelgoed
common.buy 11.69 €
Nomenclature Des Voies Publiques Et Privees, Avec La Date Des Actes Officiels Les Concernant PARIS / Boek Gebonden (paperback)
common.buy 37.02 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Model Building
Auteur Ricardo Caferra, Alexander Leitsch, Nicolas Peltier
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 341
EAN 9789048166961
ISBN 9048166969
Libristo-code 01974967
Uitgeverij Springer
Gewicht 551
Afmetingen 155 x 235 x 20

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Pathway To His Presence John Bevere / Boek Gebonden (harde band)
common.buy 14.92 €
Shape Selective Catalysis in Industrial Applications, Second Edition, Francis G. Dwyer / Boek Gebonden (harde band)
common.buy 255.13 €
Advances in Subsea Pipeline Engineering and Technology C.P. Ellinas / Boek Gebonden (paperback)
common.buy 102.69 €
TOP Voordelig
An Offer from a Gentleman Deluxe Collector's Edition Julia Quinn / Boek Gebonden (harde band)
common.buy 13.61 €
Pure Immanence Gilles Deleuze / Boek Gebonden (paperback)
common.buy 20.87 €
A Place for Pluto Stef Wade / Boek Leporello (harmonicaboek)
common.buy 6.95 €
Lost on the Moon Rockwood / Boek Gebonden (paperback)
common.buy 13.61 €
eDemocracy- Public Online Engagement by the European Commission Matthias Ulrich / Boek Gebonden (paperback)
common.buy 51.34 €
Private James Patterson / Boek Gebonden (paperback)
common.buy 9.17 €
TOP
Medal of Honor, Revised & Updated Third Edition: Portraits of Valor Beyond the Call of Duty Peter Collier / Boek Gebonden (harde band)
common.buy 45.09 €
Positive Alternatives to Suspension Catherine (Catherine DeSalvo) DeSalvo / Boek Gebonden (paperback)
common.buy 31.16 €
Knickers, Biscuits & The Dark Arts of Rope Access Mike S. Martin / Boek Gebonden (paperback)
common.buy 18.35 €
JACKS BIRTHDAY Jenny Giles / Boek Gebonden (paperback)
common.buy 18.65 €
The Day My Private Part Died Carey Erichson / Boek Gebonden (paperback)
common.buy 6.75 €
Loveless, Vol. 13 Yun Kouga / Boek Gebonden (paperback)
common.buy 8.36 €
Preparing for Parenthood Anita Schweppe / Boek Gebonden (paperback)
common.buy 20.77 €
Wordt verwacht
Familiars Stacey Halls / Boek Gebonden (paperback)
common.buy 9.68 €
To The Countryside BRIAN BAKER / Boek Gebonden (paperback)
common.buy 13.71 €
Wordt verwacht
Survey of Accounting Carl Warren / Boek Gebonden (harde band)
common.buy 141.84 €
Bayou Baby Blake / Boek Gebonden (paperback)
common.buy 7.46 €
Large Print Sudoku Puzzles Red Book #1 (Hard): Hard Sudoku Puzzle Book including Instructions and Answer Keys Puzzy Publishers / Boek Gebonden (paperback)
common.buy 8.57 €
Lectures on Clinical Medicine: Delivered at the Hotel-Dieu, Paris, Volume 1 Armand Trousseau / Boek Gebonden (paperback)
common.buy 32.48 €
Pokémon: Giratina und der Himmelsritter / Pokémon: Der Aufstieg von Darkrai - 2-Movie-Box Satoshi Tajiri / Video Dvd
common.buy 20.97 €
British Women Artists Carolyn Trant / Boek Gebonden (paperback)
common.buy 15.12 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken