Catálogo de publicaciones - libros

Compartir en
redes sociales


Theory and Applications of Satisfiability Testing: SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Ciencias de la computación

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-37206-6

ISBN electrónico

978-3-540-37207-3

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación