Amy P. Felty – författare

Visar alla böcker från författaren Amy P. Felty. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Automated Deduction - CADE-25

   25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

   Av Amy P. Felty, Aart Middeldorp

   Häftad, 2015

   567 kr

   Lägg i varukorg

   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. CADE is the …

2. 

   Automated Deduction - CADE-25

   25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

   Av Aart Middeldorp, Amy P. Felty

   E-bok, 2015

   755 kr

   Lägg i varukorg

   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. CADE is …