Interactive theorem proving: 7th international conference
springer
La necesidad de comparar es indispensable para poder realizar una buena compra y la información necesaria sobre {nombre} está aquí con los mejores precios de todos los comercios de la red. Hoy tienes esta oferta por € y lo podrás encontrar en Amazon, que hay disponibilidad. € es una oferta muy recomendable . No dejes de valorar tu experiencia sobre el producto, ayudarás a otros en su compra.
Características
Itp 2016
Nancy
France
August 22-25
2016
Proceedings
Lecture notes in computer science
El precio de venta de Interactive theorem proving: 7th international conference se ha mantenido estable en en los últimos tiempos, no ha habido ningún cambio. En cuanto a ofertas en este producto de springer, el precio de es similar en todas las tiendas de la red, sin haber grandes diferencias.
Estos días la tienda donde puedes encontrar Interactive theorem proving: 7th international conference es la tienda Amazon
¿Ya conoces el Interactive theorem proving: 7th international conference?
Ayuda a otros usuarios contándonos como te ha funcionado.