theory and applications of satisfiability testing sat 2008: 11th international conference, sat 2008, guangzhou, china, may 12-15, 2008, proceedings (en Inglés)
Kleine B. Ning, Hans (Autor) · springer · Libro Físico
$ 106.627
$ 133.284
Ahorras: $ 26.657
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listas¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.