Interactive theorem proving: 9th international conference
springer
Ofertas y promociones para Interactive theorem proving: 9th international conference aquí en Ofertas.com, ofreciendote el mejor precio. Hoy podrás encontrar Interactive theorem proving: 9th international conference a un precio de € en la tienda online de Amazon. € es una buena oferta para comprar hoy . Te agradeceríamos si dejases un comentario sobre Interactive theorem proving: 9th international conference, tu opinión es muy importante.
Características
Itp 2018
Held as part of the federated logic conference
Floc 2018
Oxford
Uk
July 9-12
.
10895
Lecture notes in computer science
El precio de venta de Interactive theorem proving: 9th 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.
En estos momentos la mejor web donde adquirir Interactive theorem proving: 9th international conference es en la página web de Amazon
¿Tienes este producto de springer?
Escribe sobre él.