Serenella Cerrito - Böcker

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

1 produkt

Kategorier

1 produkt

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, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar