Home ›Springer ›Theorem Proving with Analytic Tableaux and Related Methods (English, Pierangelo Miglioli | Ugo Moscato | Daniele Mundici)
Springer
Theorem Proving with Analytic Tableaux and Related Methods (English, Pierangelo Miglioli | Ugo Moscato | Daniele Mundici)
₹5,608
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approa…
ISBN: 9783540612087
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540612087 |
| ISBN-10 | 3540612084 |
| Author | Pierangelo Miglioli | Ugo Moscato | Daniele Mundici |
