automated deduction - cade-22: 22nd international conference on automated deduction montreal, canada, august 2-7, 2009 proceedings (en Inglés)
schmidt, renate a.
automated deduction - cade-22: 22nd international conference on automated deduction montreal, canada, august 2-7, 2009 proceedings (en Inglés)
Schmidt, Renate A. (Autor) · springer · Libro Físico
$ 1,488.55
$ 2,480.92
Ahorras: $ 992.37
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listasautomated deduction - cade-22: 22nd international conference on automated deduction montreal, canada, august 2-7, 2009 proceedings (en Inglés)
schmidt, renate a.
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
