theory and applications of satisfiability testing sat 2008: 11th international conference, sat 2008, guangzhou, china, may 12-15, 2008, proceedings
Kleine B. Ning, Hans (Autor) · springer · Libro Físico
Sin Stock¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.