Amy P. Felty – författare

Visar alla böcker från författaren .

1 produkt

Kategorier

1 produkt

Del 9195

Amy P. Felty, Aart Middeldorp - Automated Deduction - CADE-25, Häftad

Del 9195 - Lecture Notes in Computer Science

Automated Deduction - CADE-25

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

AvAmy P. Felty,Aart Middeldorp

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar