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

Paperback

€ 100,95

Afwijkende levertijd: 10-12 werkdagen
Automated Reasoning

Paperback

€ 100,95

Nieuwe boeken gratis bezorgd t/m 31-12-2021 naar NL*
Altijd de laagste prijs voor nieuwe Nederlandstalige boeken
Verlengde retourtermijn: ruilen of retourneren t/m 10 januari 2022
Koop lokaal, ook online!
Bekijk winkelvoorraad

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.
ISBN
9783319942049
Vorm
Paperback
Uitgever
Springer International Publishing AG
Druk
1e
Verschenen
01-01-2018
Taal
Engels
Pagina's
724 pp.
Genre
Literaire fictie
Geen recensies beschikbaar.
pro-mbooks2 : libris