Kai Brünnler - Böcker

Visar alla böcker från författaren Kai Brünnler.

1 produkt

Kategorier

1 produkt

Automated Reasoning with Analytic Tableaux and Related Methods

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Av Kai Brünnler, George Metcalfe

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar