Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
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, 1st ed. 2018)
Loot Price: R1,699
Discovery Miles 16 990
|
|
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, 1st ed. 2018)
Series: Lecture Notes in Computer Science, 10900
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R1,719
Discovery Miles: 17 190
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|