Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.023 registro(s)

Filtros temática quitar todos

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Más información

ISBNs: 978-3-540-26655-6 (impreso) 978-3-540-31683-1 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática  


Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Más información

ISBNs: 978-3-540-25236-8 (impreso) 978-3-540-32275-7 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Más información

ISBNs: 978-3-540-75558-6 (impreso) 978-3-540-75560-9 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Más información

ISBNs: 978-3-540-30553-8 (impreso) 978-3-540-31650-3 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ciencias químicas - Ingeniería eléctrica, electrónica e informática - Ingeniería mecánica  


actas de congreso
Agregar a Mi catálogo

Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on

Más información

ISBNs: 978-1-4577-0451-2 (impreso) 978-0-7695-4412-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2011 IEEE Xplore

Cobertura temática: Ciencias de la computación e información - Otras ingenierías y tecnologías - Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  


actas de congreso
Agregar a Mi catálogo

Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on

Más información

ISBNs: 0-7695-2192-4 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2004 IEEE Xplore

Cobertura temática: Ciencias de la computación e información - Otras ingenierías y tecnologías - Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  


Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Más información

ISBNs: 978-3-540-29208-1 (impreso) 978-3-540-31947-4 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

Más información

ISBNs: 978-3-540-74608-9 (impreso) 978-3-540-74610-2 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

Más información

ISBNs: 978-3-540-28538-0 (impreso) 978-3-540-31827-9 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

Más información

ISBNs: 978-3-540-75143-4 (impreso) 978-3-540-75144-1 (en línea)

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

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Lenguas y literatura - Filosofía, ética y religión