Su búsqueda recuperó 5 resultados.

Resultados
		Foundations of deductive databases and logic programming / Contributors krzyszlof r. apt... [y otros.] ; ed. by Jack minker por Minker, Jack [editor] \| Apt, Krzysztof R, 1949- [colaborador]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Los altos, california : M. Kaufmann, c1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D32 F68. Hacer reserva Agregar al carrito (remover)
		The Logic programming paradigm : a 25-year perspective / K. R. Apt ...[y otros.], eds. por Apt, Krzysztof R, 1949- [editor]. Series Artificial intelligenceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 L639, ... Hacer reserva Agregar al carrito (remover)
		New trends constraints : joint ERCIM Compulog-Net workshop, Paphos, Cyprus, Greece, October 1999 : selected proceedings / Krzysztof R. Apt ... [y otros.] (eds.) por Apt, Krzysztof R, 1949- [editor] \| European Research Consortium for Informatics and Mathematics \| Compulog-Net. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1865.Tipo de material: Texto; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.612 N48. Hacer reserva Agregar al carrito (remover)
		Verification of sequential and concurrent programs / Krzystof r. apt, ernst-rudiger olderog por Apt, Krzysztof R, 1949- [autor] \| Olderog, Ernst-Rudiger [autor]. Series Texts and monographs in computer scienceTipo de material: Texto; Forma literaria: No es ficción Editor: New York : Springer Verlag, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 A67, ... Hacer reserva Agregar al carrito (remover)
		Verification of sequential and concurrent programs / Krzystof R. Apt, Ernst-Rudiger Olderog por Apt, Krzysztof R, 1949- [autor] \| Olderog, Ernst-Rudiger [autor]. Series Graduate texts in computer scienceEdición: 2nd ed.Tipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 A67 1997. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

Universidad Nacional Autónoma de México

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad