Su búsqueda recuperó 7 resultados.

Resultados
		Construccion logica de programas : teoria y problemas resueltos / Luis Garcia Sanchez ... [y otros.] por Garcia Sanchez, Luis [colaborador]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: México, D.F. : Alfaomega, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 C6475, ... Agregar al carrito (remover)
		Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz / Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce (eds.) por Erdem, Esra [editor de la compilación] \| Lee, Joohyung [editor de la compilación] \| Lierler, Yuliya [editor de la compilación] \| Pearce, David [editor de la compilación]. Series Lecture notes in computer scienceTipo de material: Texto; Formato: impreso festschrift ; Forma literaria: No es ficción Editor: Berlin : Springer, [2012]Fecha de copyright: ©2012Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 C67, ... Agregar al carrito (remover)
		Foundations of deductive databases and logic programming / editor: Adrian Lily por Lily, Adrian [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New Rochelle, New York : Intelliz Press LLC, [2019]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D32 F685. Agregar al carrito (remover)
		Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti por Bergadano, Francesco, 1963- [autor] \| Gunetti, Daniele [autor] \| Massachusetts Institute of Technology. Series Logic programmingTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge, Massachusetts. : The MIT Press, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 B47 1996. Agregar al carrito (remover)
		Lógica de programación : solucionario en pseudocódigo : ejercicios resueltos / Omar Iván Trejos Bruriticá por Trejos Buriticá, Omar Iván [autor]. Series Ingeniería de sistemasEdición: Primera ediciónTipo de material: Texto; Forma literaria: No es ficción Editor: Bogotá, Colombia : Ediciones de la U, 2021Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA76.63 T743, ... Agregar al carrito (remover)
		Logic based program synthesis and transformation : 13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / Maurice Bruynooghe, ed. por LOPSTR 2003 (2003 : Uppsala, Suecia) \| Bruynooghe, Maurice [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: LOPSTR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I58 2004. Agregar al carrito (remover)
		Programming logic and design / Authored and edited by 3G E-learning LLC por 3G E-learning (Firma comercial). Edición: 2nd editionTipo de material: Texto; Forma literaria: No es ficción Editor: New York, N.Y. : 3G E-learning, 2023Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 P7553 2023, ... Agregar al carrito (remover)