Arild Waaler - Böcker
Visar alla böcker från författaren Arild Waaler.
1 produkt
1 produkt
Automated Reasoning with Analytic Tableaux and Related Methods
18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings
Häftad, Engelska, 2009
709 kr
Skickas inom 10-15 vardagar