Sökt på: Böcker av Maria Bonacina
totalt 5 träffar
Essential Italian Verbs: Teach Yourself
Is this the right course for me?Essential Italian Verbs is the course for you if you need help with your study of Italian. This fully revised edition of our best-selling course now …
Automated Reasoning and Mathematics
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a …
Automated Deduction -- CADE-24
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers …
Automated Reasoning and Mathematics
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a …
Automated Deduction -- CADE-24
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers …