You might also like

More about Automated Reasoning with Analytic Tableaux and Related Methods

• Book details
• Synopsis
• Trending among others

You get 195 loyalty points

Book synopsis

This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

• Full title: Automated Reasoning with Analytic Tableaux and Related Methods
• Subtitle: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
• Author: Renate A. Schmidt, Cláudia Nalon
• Language: English
• Binding: Paperback
• Number of pages: 381
• EAN: 9783319669014
• ISBN: 331966901X
• ID: 16830524
• Publisher: Springer International Publishing AG
• Weight: 5971 g
• Dimensions: 235 × 155 × 23 mm
• Date of publishing: 31. August 2017

Trending among others

---

---

---