You might also like

More about Automated Reasoning with Analytic Tableaux and Related Methods

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. §The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

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: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
• Author: Hans de Nivelle
• Language: English
• Binding: Paperback
• Number of pages: 355
• EAN: 9783319243115
• ISBN: 331924311X
• ID: 09511307
• Publisher: Springer International Publishing AG
• Weight: 5621 g
• Dimensions: 235 × 155 × 21 mm
• Date of publishing: 29. October 2015

Trending among others

---

---

---