Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Trustpilot
Aisha M.
Hace 5 días
Rajesh P.
Hace 2 días
Derechos e impuestos incl.
30 diaspara usuarios de membresía PRO
15 diassin membresía
Anjali K.
Hace 1 mes