Serenella Cerrito – författare
Visar alla böcker från författaren Serenella Cerrito.
1 produkter
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
739 kr
Lägg i varukorg