Arild Waaler - Böcker

Visar alla böcker från författaren Arild Waaler.

1 produkt

Kategorier

1 produkt

Automated Reasoning with Analytic Tableaux and Related Methods

18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

Av Martin Giese, Arild Waaler

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar