Su búsqueda recuperó 5 resultados.

Resultados
		Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode por Khoussainov, Bakhadyr, 1961- [autor] \| Nerode, Anil, 1932- [autor]. Series Progress in computer science and applied logic ; v. 21Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Boston : Birkhäuser Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA267 K46, ... Hacer reserva Agregar al carrito (remover)
		Logic for applications / Anil nerode, Richard a. shore por Nerode, Anil, 1932- [autor] \| Shore, Richard A, 1946- [autor]. Series Texts and monographs in computer scienceTipo de material: Texto; Forma literaria: No es ficción Editor: New York : Springer Verlag, c1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 N47. Hacer reserva Agregar al carrito (remover)
		Logic for applications / Anil Nerode, Richard A. Shore por Nerode, Anil, 1932- [autor] \| Shore, Richard A, 1946- [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 (4)Clasificación: QA76.63 N47 1997, ... Hacer reserva Agregar al carrito (remover)
		Logic programming and non-monotonic reasoning : Proceedings of the second international workshop / Ed. by Luis moniz Pereira and anil nerode por Pereira, Luís Moniz [editor] \| Nerode, Anil, 1932- [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, massachusetts : The MIT Press, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 L655 1993, ... Hacer reserva Agregar al carrito (remover)
		Principles of logic and logic programming / G. Metakides, A. Nerode por Metakides, George, 1945- [autor] \| Nerode, Anil, 1932- [autor]. Series Studies in computer science and artificial intelligence ; 13Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Amsterdam ; New York : Elsevier, 1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 M473 1996. 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