Automated Reasoning with Analytic Tableaux and Related Methods
| Author | : Bernhard Beckert |
| Publisher | : Springer |
| Total Pages | : 354 |
| Release | : 2005-09-14 |
| ISBN-10 | : 9783540318224 |
| ISBN-13 | : 3540318224 |
| Rating | : 4/5 (24 Downloads) |
Book Synopsis Automated Reasoning with Analytic Tableaux and Related Methods by : Bernhard Beckert
Download or read book Automated Reasoning with Analytic Tableaux and Related Methods written by Bernhard Beckert and published by Springer. This book was released on 2005-09-14 with total page 354 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the research papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005) held September 14 –17, 2005 in Koblenz, Germany.