Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Lecture Notes in Computer Science - - Books - Springer Nature Switzerland AG - 9783030290252 - August 14, 2019
In case cover and title do not match, the title is correct

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

477 pages, 28 Illustrations, color; 2823 Illustrations, black and white; XXI, 477 p. 2851 illus., 28

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 14, 2019
ISBN13 9783030290252
Publishers Springer Nature Switzerland AG
Pages 477
Dimensions 150 × 220 × 10 mm   ·   759 g
Language French  
Editor Cerrito, Serenella
Editor Popescu, Andrei

Mere med samme udgiver