Cláudia Nalon - Böcker
Visar alla böcker från författaren Cláudia Nalon.
1 produkt
1 produkt
Del 10501 - Lecture Notes in Computer Science
Automated Reasoning with Analytic Tableaux and Related Methods
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Häftad, Engelska, 2017
929 kr
Skickas inom 10-15 vardagar