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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Automated Model Building

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Automated Model Building Nicolas Peltier
Libristo-code: 08348611
Uitgeverij Springer-Verlag New York Inc., september 2004
Provides information on automated model building, a discipline of automated deduction that is of gro... Volledige beschrijving
? points 444 b
183.36 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wordt verwacht
NAMIBIA Kai-Uwe Küchler / Boek Gebonden (harde band)
common.buy 44.54 €
Histoire Generale de Portugal, Par M. de La Clede, ... Rollin / Boek Gebonden (paperback)
common.buy 31.61 €
Einfach selbst reparieren - Handy, Kamera, Fernseher, Computer und Co. Reader's Digest / E-book Adobe ePub DRM
common.buy 4.33 €
Dunkle Wut Michael Katz Krefeld / Luisterboek MP3
common.buy 8.38 €

Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques.

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 Nicolas Peltier
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2004
Aantal pagina's 341
EAN 9781402026522
ISBN 9781402026522
Libristo-code 08348611
Uitgeverij Springer-Verlag New York Inc.
Gewicht 713
Afmetingen 155 x 235 x 23

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

Hillary Rodham Clinton and the 2016 Election Michele Lockhart / Boek Gebonden (harde band)
common.buy 133.86 €
Model Home Rivers Solomon / Boek Gebonden (paperback)
common.buy 9.69 €
Politics and Practices of the Ethnographies of Biomedicine and STEM Cinzia Greco / Boek Gebonden (harde band)
common.buy 146.69 €
Owl and the Nightingale Simon Armitage / Boek Gebonden (paperback)
common.buy 12.62 €
Theory of Computation Vikas Binage / Boek Gebonden (paperback)
common.buy 15.75 €
Marks of a Psychoanalysis Luis Izcovich / Boek Gebonden (harde band)
common.buy 167.30 €
Docu-Fictions of War Tatiana Prorokova / Boek Gebonden (harde band)
common.buy 53.33 €
PROGRESSIVE DUETS FOR TWO CLARINETS COMP BERNHARD HE CRUSELL / Boek Gebonden (paperback)
common.buy 34.24 €
Global Powers Ralph Schroeder / Boek Gebonden (harde band)
common.buy 106.48 €
American Headway: One: Teacher's Resource Book with Testing Program collegium / Boek Gebonden (paperback)
common.buy 68.69 €
Embracing an Adult Faith Participant's Workbook Marcus J. Borg / Boek Gebonden (paperback)
common.buy 18.28 €
Ascension Lightwork Sarah Ince / Boek Gebonden (harde band)
common.buy 27.17 €
Atmosfear-El Inframundo Ariel Gastaldi / Boek Gebonden (paperback)
common.buy 9.49 €
Generous Spaciousness - Responding to Gay Christians in the Church Wendy VanderWal-Gritter / Boek Gebonden (paperback)
common.buy 25.55 €
Christmas Carol Charles Dickens / Boek Gebonden (paperback)
common.buy 8.38 €
Other Daughter Lisa Gardner / Boek Gebonden (paperback)
common.buy 13.73 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?