Automated Deduction - Cade-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (ISBN: 9783319214009)

Automated Deduction - Cade-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (ISBN: 9783319214009)

Ofertele pentru produsul

 

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

588,00 RON
+ 13,00 RON costul livrarii
Livrare: max 1 sapt.
spre magazin »
enbook.ro
Descrierea produsului
Autor Aart Middeldorp, Amy P. Felty

Ați găsit greşeli în descrierea produsului? Vă rugăm să ne trimiteți o notificare!

Paperback. This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.
Păreri
Intrebari&Raspunsuri

Prețurile și informațiile de pe paginile noastre sunt furnizate de magazinele partenere și au caracter informativ, unele erori pot apărea. Imaginile produselor au caracter informativ, uneori pot include niște accesorii care nu sunt mereu incluse în pachetul de baza. Informațiile aferente produsului (imagine, descriere, preț) se pot schimba fără notificare prealabilă. Compari.ro nu își asumă responsabilitate pentru eventualele greșeli.