Maria Paola Bonacina – författare
Visar alla böcker från författaren Maria Paola Bonacina. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
507 kr
Skickas inom 10-15 vardagar
The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Automated Deduction -- CADE-24
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Häftad, Engelska, 2013
550 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.