Catálogo de publicaciones - libros

Compartir en
redes sociales


Theory and Applications of Satisfiability Testing: SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Información

Tipo: libros

ISBN impreso

978-3-540-72787-3

ISBN electrónico

978-3-540-72788-0

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación