Maria Paola Bonacina - Böcker

Visar alla böcker från författaren Maria Paola Bonacina.

2 produkter

Kategorier

2 produkter

Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

Av Maria Paola Bonacina, Mark E. Stickel

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar

Automated Deduction -- CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Av Maria Paola Bonacina

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar