Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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

Language EnglishEnglish
Book Paperback
Book Automated Reasoning Didier Galmiche
Libristo code: 19546420
Publishers Springer International Publishing AG, July 2018
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automate... Full description
? points 132 b
54.41 €
106.41  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Obsession Meredith Owen / Book Paperback
common.buy 8.48 € 16.58 лв
Ergebnisse der kombinierten Behandlung von Lymphknoten-Tuberkulose Sameh Mezri / Book Paperback
common.buy 51.82 € 101.35 лв
Die Sogenaamde Adenomie Van Die Ovariu Anne Petronella van Heerden / Book Paperback
common.buy 18.25 € 35.70 лв
Fliegerkalender 2024 Tim F. Kramer / Book Paperback
common.buy 10.60 € 20.73 лв
L'ombra de la veritat Arias / Book Book
common.buy 42.04 € 82.23 лв
Molière, le mystère et le complot Georges Forestier / Book Paperback
common.buy 38.84 € 75.96 лв
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.13 € 2.22 лв
Dominar Blender 5.0 Manual del usuario SHALTEK JOEL / Book Paperback
common.buy 19.29 € 37.72 лв
Der menschliche Code Adriana Daniela Walther / Book Paperback
common.buy 11.79 € 23.05 лв
Ein Bildungshaus entsteht - Inwiefern eröffnet das Konzept "Bildungshaus" neue Bildungsperspektiven in sozial benachteiligten Milieus? Julia Kruse / Book Paperback
common.buy 40.60 € 79.40 лв
Нові напрями театрально& Погре&#107 / Book Paperback
common.buy 93.25 € 182.38 лв
Морозов. Всеобщая история 9кл. История Нового времени. XIX - начало XXв. Учебник / Book Paperback
common.buy 23.94 € 46.83 лв
Théta - tome 3 - Cité dolente Daniela Hodrová / Book Paperback
common.buy 27.77 € 54.31 лв
La tua immensit? m'inebria: (con testo greco a fronte) Arjan Kallco / Book Paperback
common.buy 10.24 € 20.02 лв
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 / Book Paperback
common.buy 13.91 € 27.20 лв
Atlas histórico del mundo griego antiguo Adolfo Jerónimo Domínguez Monedero / Book Paperback
common.buy 35.48 € 69.38 лв
Jezyk finski na co dzien +CD Wpisz CD / Book Paperback
common.buy 8.89 € 17.39 лв
Softwareagenten im elektronischen Geschäftsverkehr Rotraud Gitter / Book Paperback
common.buy 109.95 € 215.05 лв
Called to Conquer - INDONESIAN BAHASA Derek Prince / Book Paperback
common.buy 14.63 € 28.62 лв
Der Gottesbezug in der Europäischen Verfassung Stefanie Klein / Book Paperback
common.buy 52.34 € 102.36 лв
Internet- und Intranet-Einsatz im Handel Jörg Schwarz / Book Paperback
common.buy 35.94 € 70.30 лв
Autodesk Inventor 2014 - Grundlagen in Theorie und Praxis Christian Schlieder / Book Paperback
common.buy 23.68 € 46.32 лв
Das Dreistadiengesetz von Auguste Comte Ruben Loest / Book Paperback
common.buy 16.18 € 31.65 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Reasoning
Author Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 724
EAN 9783319942049
ISBN 3319942042
Libristo code 19546420
Publishers Springer International Publishing AG
Weight 1107
Dimensions 155 x 235 x 37

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Intelligent Computing Theory De-Shuang Huang / Book Paperback
common.buy 54.41 € 106.41 лв
The Mystic Way: A Psychological Study In Christian Origins Evelyn Underhill / Book Paperback
common.buy 39.20 € 76.67 лв
Practical Data Analysis with JMP, Third Edition Carver Robert Carver / Book Paperback
common.buy 67.59 € 132.20 лв
Beginning the Courts of Heaven Bill Vincent / Book Paperback
common.buy 12.77 € 24.98 лв
Royal Fireworks Music: For Piano George Frederick Handel / Book Paperback
common.buy 17.17 € 33.57 лв
Visits and Other Passages Carol Smallwood / Book Paperback
common.buy 15.05 € 29.43 лв
A Philosophy of Social Progress. E J Urwick / Book Paperback
common.buy 25.18 € 49.25 лв
Doing Excellent Small-Scale Research Derek Layder / E-book Adobe ePub DRM
common.buy 50.73 € 99.23 лв
Astro-Diagnosis: A Guide to Healing Max Heindel / Book Paperback
common.buy 42.98 € 84.05 лв
Problems in Biblical Theology: Essays in Honor of Rolf Knierim Henry T. C. Sun / Book Paperback
common.buy 60.92 € 119.15 лв
Lockwood Reservoir Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Book Paperback
common.buy 13.08 € 25.58 лв
life Keishorne Scott / Book Paperback
common.buy 14.84 € 29.02 лв
Limited edition Sudden Thoughts Even saint have confessions: Even Saints have confessions John Frost / Book Paperback
common.buy 11.22 € 21.94 лв
Balzac Michael Tilby / Book Hardback
common.buy 307.17 € 600.77 лв
Thirty-Eight Years in India William Tayler / Book Paperback
common.buy 37.75 € 73.84 лв
Last Charles Manson Tapes Dylan Howard / Audiobook MP3
common.buy 18.10 € 35.39 лв
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 / Book Hardback
common.buy 29.73 € 58.16 лв
Alessia's Reading Log Martha Day Zschock / Book Hardback
common.buy 15.77 € 30.84 лв
Glucose Sensing Chris D. Geddes / Book Paperback
common.buy 162.71 € 318.23 лв
Earth-Sod-Blen Jeremiah Josen / Book Paperback
common.buy 23.79 € 46.52 лв
What Was Freedom's Price? David G. Sansing / Book Paperback
common.buy 30.15 € 58.97 лв
Running for Recovery CH LTC RET Arthur W. Coffey Jr. / Book Hardback
common.buy 39.98 € 78.19 лв
Metrics at Work Angele Christin / Book Hardback
common.buy 59.58 € 116.52 лв
Trap with a Green Fence Richard Glazar / Book Paperback
common.buy 21.56 € 42.17 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account