Marta Cialdea Mayer - Böcker

Visar alla böcker från författaren Marta Cialdea Mayer.

1 produkt

Kategorier

1 produkt

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Av Marta Cialdea Mayer, Fiora Pirri

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar