Del 9791
Intelligent Computer Mathematics
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
Häftad, 2016
468 kr
Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
886 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.
