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
949 kr
Skickas inom 10-15 vardagar