Su búsqueda recuperó 2 resultados.

Resultados
		Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch, eds. por IJCAR 2004 (2 : 2001 : Cork, Irlanda) \| Basin, David [editor] \| Rusinowitch, Michaël [editor]. Series Lecture notes in computer science ; 3097 \| Lecture notes in artificial intelligenceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I53 2004. Agregar al carrito (remover)
		Logic for programming artificial intelligence and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baade, Andrei Virinkov, eds. por LPAR (Conferencia) (11 : 2005 : Montevideo, Uruguay) \| Baader, Franz [editor] \| Voronkov, A. (Andrei), 1959- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 3452.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: LPAR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I57 2004. Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"