Ver Fuente - Prisma - Unidad de Bibliometría

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017)

Tipo: Libro
ISBN: 978-3-319-66263-3; 978-3-319-66262-6
Total de publicaciones: 1