Ver Fuente - Prisma - Unidad de Bibliometría

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015

Tipo: Libro
ISBN: 978-3-319-24318-4; 978-3-319-24317-7
Total de publicaciones: 1