Home
Automated Reasoning with Analytic Tableaux and Related Methods by Revantha Ramanayake, Paperback | Indigo Chapters
Loading Inventory...
Indigo
Automated Reasoning with Analytic Tableaux and Related Methods by Revantha Ramanayake, Paperback | Indigo Chapters
From Revantha Ramanayake
Current price: $72.95
Indigo
Automated Reasoning with Analytic Tableaux and Related Methods by Revantha Ramanayake, Paperback | Indigo Chapters
From Revantha Ramanayake
Current price: $72.95
Loading Inventory...
Size: 1 x 9.25 x 1.7
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Indigo
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings | Automated Reasoning with Analytic Tableaux and Related Methods by Revantha Ramanayake, Paperback | Indigo Chapters