Description: Automated Reasoning Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings Author(s): Didier Galmiche, Stephan Schulz, Roberto Sebastiani Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319942049, 978-3319942049 Synopsis 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.
Price: 39.47 GBP
Location: Aldershot
End Time: 2025-01-23T09:15:07.000Z
Shipping Cost: 28.32 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Automated Reasoning
Number of Pages: 724 Pages
Publication Name: 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: English
Publisher: Springer International Publishing A&G
Item Height: 235 mm
Subject: Computer Science
Publication Year: 2018
Type: Textbook
Author: Didier Galmiche, Roberto Sebastiani, Stephan Schulz
Item Width: 155 mm
Series: Lecture Notes in Artificial Intelligence
Format: Paperback
