Serenella Cerrito – författare

Visar alla böcker från författaren Serenella Cerrito. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

   Av Serenella Cerrito, Andrei Popescu

   Häftad, 2019

   566 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 …

2. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

   Av Andrei Popescu, Serenella Cerrito

   E-bok, 2019

   732 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 …