Kai Brünnler - Böcker
Visar alla böcker från författaren Kai Brünnler.
1 produkt
1 produkt
Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Häftad, Engelska, 2011
709 kr
Skickas inom 7-10 vardagar