Su búsqueda retornó 2 resultados.

Resultados
		Decision Procedures [recurso electrónico] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por Kroening, Daniel [author.] \| Strichman, Ofer [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesEdición: 2nd ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Theory and Applications of Satisfiability Testing – SAT 2010 [recurso electrónico] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. por Strichman, Ofer [editor.] \| Szeider, Stefan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6175Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.

Refinar su búsqueda