Home
Automated Reasoning with Analytic Tableaux and Related Methods by Revantha Ramanayake, Paperback | Indigo Chapters
Loading Inventory...
Coles
Automated Reasoning with Analytic Tableaux and Related Methods by Revantha Ramanayake, Paperback | Indigo Chapters
From Revantha Ramanayake
Current price: $72.95
Coles
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 Coles
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