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 Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Reasoning Jürgen Giesl
Libristo-code: 01656184
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2010
This book constitutes the refereed proceedings of the 5th International Joint Conference on Automate... Volledige beschrijving
? points 280 b
115.64 €
In extern magazijn in kleine hoeveelheid Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Entwicklung von Autonomie und Paternalismus Hugo Esteva / Boek Gebonden (paperback)
common.buy 35.68 €
grande vuoto di un piccolo amico. Quando gli animali ci lasciano Jeffrey Moussaieff Masson / Boek Gebonden (harde band)
common.buy 26.07 €
Artistas Cristina Serret / E-book Adobe ePub DRM
common.buy 8.79 €
Umanità violata. La Palestina e l'inferno della ragione Roberta De Monticelli / Boek Gebonden (paperback)
common.buy 21.32 €
MDF. La storia del Mostro di Firenze. Cofanetto Roberto Taddeo / Boek binding.
common.buy 54.99 €
Einführung in die Kautschuktechnologie Georg Abts / Boek Gebonden (harde band)
common.buy 66.00 €
Je valorise mes déchets verts au jardin Denis Pépin / Boek Gebonden (paperback)
common.buy 21.52 €
INT.DINAMICA KEYNESI KURIHAR / Boek Boek
common.buy 6.06 €
Souvenirs de mon premier festival Biyoghe / Boek Gebonden (paperback)
common.buy 21.22 €
Whisky-Witze Wolfgang F. Rothe / Boek Gebonden (harde band)
common.buy 16.97 €
AULAS INCLUSIVAS Mª EUGENIA PEREZ / Boek Gebonden (harde band)
common.buy 56.60 €
L'' cole Normale Romuald Normand / Boek Gebonden (paperback)
common.buy 87.13 €
String Quartets 1+2 Shostakovich Quartet / Audio Audio cd
common.buy 6.97 €
TOP
Nueva Gramatica de la Lengua Espanola Manual Real Academia Espanola / Boek Gebonden (paperback)
common.buy 25.87 €
Winterseelen Katja Fischer / Boek Gebonden (paperback)
common.buy 12.93 €
Her Sey Allah&#305 Hekimoglu ismail / Boek Gebonden (paperback)
common.buy 6.76 €
UEber Nithards Gerold Meyer Von Knonau / Boek Gebonden (paperback)
common.buy 16.17 €

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.The 28 revised full research papers and 12 revised system descriptions presented together with 1 full paper and 2 abstracts of invited talks were carefully reviewed and selected from 63 full paper and 26 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on logical frameworks and combination of systems; description logic; higher-order logic; verification; first-order logic; non-classical logic; induction; decision procedures; arithmetic; applications; and termination.

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 Reasoning
Auteur Jürgen Giesl, Reiner Hähnle
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 536
EAN 9783642142024
ISBN 3642142028
Libristo-code 01656184
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 815
Afmetingen 155 x 238 x 30

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Seismic Engineering Jacques Betbeder-Matibet / Boek Gebonden (harde band)
common.buy 450.06 €
Managing the Reality of Virtual Organizations SANDHYA SHEKHAR / Boek Gebonden (paperback)
common.buy 50.54 €
Rock Paper Scissors Matty Dalrymple / Boek Gebonden (paperback)
common.buy 19.40 €
Bedtime Stories for Insomniacs: Surprisingly Original Sleep Tips from the Effortless Sleep Method Good Sleepers' Club Sasha Stephens / Boek Gebonden (paperback)
common.buy 10.30 €
A Flock of Girls and Boys Nora Perry / Boek Gebonden (paperback)
common.buy 8.08 €
The Categories (annotated) Aristotle / Boek Gebonden (paperback)
common.buy 6.56 €
Standardising English EDITED BY LINDA PILL / Boek Gebonden (harde band)
common.buy 147.69 €
Urdu Children's Book Level 3 Reader Dinesh Verma / Boek Gebonden (paperback)
common.buy 14.85 €
Cupping Therapy Science: A Therapeutic Traditional Regime Malik Ih / Boek Gebonden (paperback)
common.buy 24.96 €
Voordelig
Blitzscaling Reid Hoffman / Boek Gebonden (paperback)
common.buy 13.23 €
Brentano and Intrinsic Value Roderick M. Chisholm / Boek Gebonden (paperback)
common.buy 37.60 €
Degrees of Separation Ian Gouge / Boek Gebonden (paperback)
common.buy 12.73 €
Science of Self-Empowerment Gregg Braden / Boek Gebonden (paperback)
common.buy 21.32 €
Blood Apprentice Elizabeth Hunter / Boek Gebonden (paperback)
common.buy 17.48 €
Creative Kinetics Rodney Frost / Boek Gebonden (paperback)
common.buy 27.79 €
My Product Management Toolkit: Tools and Techniques to Become an Outstanding Product Manager Marc Abraham / Boek Gebonden (paperback)
common.buy 16.17 €
Animals in the International Law of Armed Conflict Anne Peters / Boek Gebonden (harde band)
common.buy 140.31 €
Brockton James E. Benson / E-book Adobe ePub DRM
common.buy 12.53 €
TOP
Gravity Falls: Happy Summerween! / The Convenience Store . . . of Horrors! DISNEY BOOK GROUP / Boek Gebonden (paperback)
common.buy 6.26 €
Runic Odes Thomas James Mathias / Boek Gebonden (harde band)
common.buy 26.88 €
Work of Print Lisa Maruca / Boek Gebonden (harde band)
common.buy 173.16 €
Mood and Modality F. R. (University of Reading) Palmer / Boek Gebonden (harde band)
common.buy 136.16 €
Revolution, Rebellion, Resistance Eric Selbin / Boek Gebonden (harde band)
common.buy 127.27 €
Duke's Sweetheart Richard Dowling / Boek Gebonden (harde band)
common.buy 36.38 €

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?