Su búsqueda retornó 4 resultados.

Resultados
		Logic for applications / Anil Nerode, Richard A. Shore. por Nerode, Anil, 1932- \| Shore, Richard A, 1946-. Series Graduate texts in computer scienceEdición: 2nd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: New York : Springer, 1997Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.9 .M35 N47 1997, Biblioteca Central Tijuana (4) Signatura topográfica: QA76.9 .M35 N47 1997, ...
		Logical Foundations of Computer Science [recurso electrónico] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9537Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10703Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10703Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Con tecnología Koha