Serenella Cerrito – författare

Visar alla böcker från författaren Serenella Cerrito.

1 produkt

Kategorier

1 produkt

Del 11714
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
AvSerenella Cerrito,Andrei Popescu
Häftad, Engelska, 2019
739 kr
Skickas inom 10-15 vardagar