Serenella Cerrito – författare
Visar alla böcker från författaren Serenella Cerrito.
1 produkt
1 produkt
Del 11714 - Lecture Notes in Computer Science
Automated Reasoning with Analytic Tableaux and Related Methods
28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar