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 Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Reasoning Didier Galmiche
Libristo-code: 19546420
Uitgeverij Springer International Publishing AG, juli 2018
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automate... Volledige beschrijving
? points 125 b
51.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Der menschliche Code Adriana Daniela Walther / Boek Gebonden (paperback)
common.buy 11.70 €
Obsession Meredith Owen / Boek Gebonden (paperback)
common.buy 8.47 €
Fliegerkalender 2024 Tim F. Kramer / Boek Gebonden (paperback)
common.buy 10.79 €
Ungdomsritual - Den kompletta guiden till att vaxa upp: Hur du lar kanna dig sjalv och utvecklar din personlighet for att steg for steg uppna dina mal Sebastian Kulas / E-book Adobe ePub DRM
common.buy 1.10 €
Dominar Blender 5.0 Manual del usuario SHALTEK JOEL / Boek Gebonden (paperback)
common.buy 19.28 €
Морозов. Всеобщая история 9кл. История Нового времени. XIX - начало XXв. Учебник / Boek Gebonden (paperback)
common.buy 23.92 €
La tua immensit? m'inebria: (con testo greco a fronte) Arjan Kallco / Boek Gebonden (paperback)
common.buy 10.19 €
Klassische Duette Für E-Gitarre Und Klavier: E-Gitarre Für Anfänger. Mit Musik Von Bach, Beethoven, Mozart Und Anderen Komponisten (in Noten Und Tabul Javier Marco / Boek Gebonden (paperback)
common.buy 13.92 €
Atlas histórico del mundo griego antiguo Adolfo Jerónimo Domínguez Monedero / Boek Gebonden (paperback)
common.buy 33.92 €
Called to Conquer - INDONESIAN BAHASA Derek Prince / Boek Gebonden (paperback)
common.buy 14.63 €
Der Gottesbezug in der Europäischen Verfassung Stefanie Klein / Boek Gebonden (paperback)
common.buy 52.49 €
Internet- und Intranet-Einsatz im Handel Jörg Schwarz / Boek Gebonden (paperback)
common.buy 33.92 €

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference. The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.

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 Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2018
Aantal pagina's 724
EAN 9783319942049
ISBN 3319942042
Libristo-code 19546420
Uitgeverij Springer International Publishing AG
Gewicht 1107
Afmetingen 155 x 235 x 37

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

Intelligent Computing Theory De-Shuang Huang / Boek Gebonden (paperback)
common.buy 51.59 €
A Philosophy of Social Progress. E J Urwick / Boek Gebonden (paperback)
common.buy 25.13 €
there is a poem here Taylor Mabelitini / Boek Gebonden (paperback)
common.buy 12.11 €
Vivienda y Clima. Housing and climate De Lapuerta / Boek Gebonden (paperback)
common.buy 42.40 €
Metrics at Work Angele Christin / Boek Gebonden (harde band)
common.buy 56.84 €
Practical Data Analysis with JMP, Third Edition Carver Robert Carver / Boek Gebonden (paperback)
common.buy 67.44 €
Royal Fireworks Music: For Piano George Frederick Handel / Boek Gebonden (paperback)
common.buy 16.85 €
Visits and Other Passages Carol Smallwood / Boek Gebonden (paperback)
common.buy 19.38 €
Injur'd Husband's Revenge; Or the Cuckold-Maker His Own Executioner. Being the Progress, and Tragi-Comical Event of a Late Famous Intrigue MULTIPLE CONTRIBUTOR / Boek Gebonden (harde band)
common.buy 29.67 €
Last Charles Manson Tapes Dylan Howard / Luisterboek MP3
common.buy 17.05 €
Limited edition Sudden Thoughts Even saint have confessions: Even Saints have confessions John Frost / Boek Gebonden (paperback)
common.buy 11.20 €
The Mystic Way: A Psychological Study In Christian Origins Evelyn Underhill / Boek Gebonden (paperback)
common.buy 39.17 €
Astro-Diagnosis: A Guide to Healing Max Heindel / Boek Gebonden (paperback)
common.buy 42.90 €
Earth-Sod-Blen Jeremiah Josen / Boek Gebonden (paperback)
common.buy 23.72 €
Problems in Biblical Theology: Essays in Honor of Rolf Knierim Henry T. C. Sun / Boek Gebonden (paperback)
common.buy 57.04 €
Glucose Sensing Chris D. Geddes / Boek Gebonden (paperback)
common.buy 154.07 €
Heat Shock Proteins and Whole Body Adaptation to Extreme Environments Michael B. Evgen'ev / Boek Gebonden (harde band)
common.buy 102.78 €
Chair Yoga Edeltraud Rohnfeld / Boek Gebonden (paperback)
common.buy 25.94 €
History of Family Business, 1850-2000 Colli / Boek Gebonden (paperback)
common.buy 37.55 €

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?