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 Deduction - CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Deduction - CADE-20 Robert Nieuwenhuis
Libristo-code: 01560923
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2005
This book constitutes the refereed proceedings of the 20th International Conference on Automated Ded... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

????? ???????? ? &quote;???? ??????????? ????????&quote; Erich von Neff / E-book Adobe ePub DRM
common.buy 1.10 €
Götterdämmerung. Der Ring des Nibelungen 4 Fabian Hinrichs / Audio Audio cd
common.buy 17.69 €
Pro radost. For Joy Iva Bittová / Boek binding.
common.buy 17.89 €
Peugeot 205 od 9/83 do 2/99 Hans-Rüdiger Etzold / Boek Gebonden (paperback)
common.buy 26.19 €
Der Vernichtungskampf Wider Die Bauern In Mecklenburg (1864) Moritz Wiggers / Boek Gebonden (paperback)
common.buy 21.23 €
Glasgow lieben lernen Sarah Glenn / Boek Gebonden (paperback)
common.buy 8.28 €
Betriebliche Standortplanung im Rahmen von urbanen Unternehmensnetzwerken Christoph Gerdes / Boek Gebonden (paperback)
common.buy 25.08 €
Performance-Messung und Eigentuemerorientierung Andreas Schüler / Boek Gebonden (paperback)
common.buy 179.95 €
Die Illojiim Hartmut Großer / Boek Gebonden (paperback)
common.buy 20.73 €
Profesión mamá / Occupation Mom Irma Gallo / Boek Gebonden (paperback)
common.buy 16.68 €
Planungsrecht in der gerichtlichen Kontrolle. Wilfried Erbguth / Boek Gebonden (paperback)
common.buy 89.21 €
Dyskalkulie Silvia Pixner / Boek Gebonden (paperback)
common.buy 12.94 €
Augsburgischer Compendiöser Hand- Schreib- und Sack-Calender Andreas Brinhaußer / Boek Gebonden (paperback)
common.buy 19.82 €
Patentierbarkeit gentechnischer Veranderungen von Organismen Manuela Markweg-Hanke / Boek Gebonden (paperback)
common.buy 51.68 €

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005.§The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

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 Deduction - CADE-20
Auteur Robert Nieuwenhuis
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2005
Aantal pagina's 466
EAN 9783540280057
ISBN 3540280057
Libristo-code 01560923
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 721
Afmetingen 155 x 235 x 26

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

School Inspection & Self-Evaluation John MacBeath / Boek Gebonden (harde band)
common.buy 209.08 €
A Monograph On The Parish Of St. Lawrence, Ipswich (1888) Benjamin Page Grimsey / Boek Gebonden (paperback)
common.buy 21.23 €
Forgiveness and Letting Go in Emotion-Focused Therapy Catalina Woldarsky Meneses / Boek Gebonden (harde band)
common.buy 65.34 €
JOHANN CHRISTOPH ADELUNGS DEUTSCHE SPRAC JOHANN CHRI ADELUNG / Boek Gebonden (harde band)
common.buy 39.24 €
What's my name? EDDIE Tiina Walsh / Boek Gebonden (paperback)
common.buy 14.86 €
Rudin by Ivan Turgenev, Fiction, Classics, Literary Ivan Turgenev / Boek Gebonden (paperback)
common.buy 14.46 €
Modern Practice Of Civil Litigation In Nigeria Bl Maiyaki Theodore Bala Ph D / Boek Gebonden (harde band)
common.buy 46.83 €
New Perspectives in Service-Learning Shelley H. Billig / Boek Gebonden (harde band)
common.buy 120.77 €
Children of Lutetia. William Blanchard Jerrold / Boek Gebonden (paperback)
common.buy 24.37 €
Notes and Reflections During a Ramble in Germany. by the Author of "Recollections in the Peninsula," Etc. [I.E. M. Sherer.] Anonymous / Boek Gebonden (paperback)
common.buy 27.30 €
Mr. Lee's Plan, March 29, 1777 George Henry Moore / Boek Gebonden (paperback)
common.buy 23.05 €
Let's Talk Back Barbara Simon / Boek Gebonden (paperback)
common.buy 20.12 €
TOP
God and the Multiverse Victor Stenger / Boek Gebonden (harde band)
common.buy 21.94 €
Innovative Comparative Methods for Policy Analysis H. Grimm / Boek Gebonden (harde band)
common.buy 154.36 €
Making of the Roman Army Lawrence Keppie / Boek Gebonden (paperback)
common.buy 61.70 €
Tao Te Ching Lao Tzu / Boek Gebonden (paperback)
common.buy 9.90 €
Kafka's Creatures Marc Lucht / Boek Gebonden (paperback)
common.buy 68.27 €

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?