Maria Paola Bonacina – författare

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

2 produkter

Kategorier

2 produkter

Maria Paola Bonacina, Mark E. Stickel - Automated Reasoning and Mathematics, Häftad

Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

AvMaria Paola Bonacina,Mark E. Stickel

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar

Maria Paola Bonacina - Automated Deduction -- CADE-24, Häftad

Automated Deduction -- CADE-24

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

AvMaria Paola Bonacina

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar