Alle 2 Maria Paola Bonacina-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
På lager hos iMusic
Vis udgåede udgivelser
![Cover for Maria Paola Bonacina · Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/735/9783642385735.jpg?maria-paola-bonacina-2013-automated-deduction-cade-24-24th-international-conference-on-automated-deduction-lake-placid-ny-usa-june-9-14-2013-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1434445592)
![Cover for Maria Paola Bonacina · Automated Reasoning and Mathematics: Essays in Memory of William W. McCune - Lecture Notes in Computer Science (Paperback Bog) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/741/9783642366741.jpg?maria-paola-bonacina-2013-automated-reasoning-and-mathematics-essays-in-memory-of-william-w-mccune-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1624569039)