theory and applications of satisfiability testing - sat 2007: 10th international conference, lisbon, portugal, may 28-31, 2007 proceedings
Marques-Silva, Joao (Autor) · springer · Libro Físico
Sin Stock¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.