Amy P. Felty - Böcker
Visar alla böcker från författaren Amy P. Felty. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 9195 - Lecture Notes in Computer Science
Automated Deduction - CADE-25
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Häftad, Engelska, 2015
552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.