Su búsqueda retornó 2 resultados.

Resultados
		Automated Deduction – CADE-23 [recurso electrónico] : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans. por Bjørner, Nikolaj [editor.] \| Sofronie-Stokkermans, Viorica [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6803Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Frontiers of Combining Systems [recurso electrónico] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. por Tinelli, Cesare [editor.] \| Sofronie-Stokkermans, Viorica [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6989Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Refinar su búsqueda