Su búsqueda recuperó 11 resultados.

Resultados
		Deduction systems / Rolf Socher-Ambrosius, Patricia Johann por Socher-Ambrosius, Rolf [autor] \| Johann, Patricia [autor]. Series Graduate texts in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9A96 S63 1997, ... Hacer reserva Agregar al carrito (remover)
		First-order logic and automated theorem proving / Melvin Fitting por Fitting, Melvin, 1942- [autor]. Series Graduate texts in computer scienceEdición: 2nd ed.Tipo de material: Texto; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.9A96 F57 1996, ... Hacer reserva Agregar al carrito (remover)
		Fundamentals of the new artificial intelligence : beyond traditional paradigms / Toshinori Munakata por Munakata, Toshinori [autor]. Series Graduate texts in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: Q335 M85, ... Hacer reserva Agregar al carrito (remover)
		An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitanyi por Li, Ming [autor] \| Vitanyi, P. M. B [autor]. Series Graduate texts in computer scienceEdición: 2nd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA267.7 L5 1997, ... Hacer reserva Agregar al carrito (remover)
		Lambda calculi : a guide for computer scientists / Chris Hankin por Hankin, Chris [autor]. Series Graduate texts in computer science ; 3Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford Clarendon Press, [England] : 1994Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). 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)
		On concurrent programming / Fred B. Schneider por Schneider, Fred B [autor]. Series Graduate texts in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA76.642 S34 1997, ... Hacer reserva Agregar al carrito (remover)
		A recursive introduction to the theory of computation / Carl H. Smith por Smith, Carl, 1950- [autor]. Series Graduate texts in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 S54455. Hacer reserva Agregar al carrito (remover)
		Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright por Back, Ralph-Johan [autor] \| Wright, Joakim von, 1955- [autor]. Series Graduate texts in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.6 B333, ... Hacer reserva Agregar al carrito (remover)
		Specification of software systems / V. S. Alagar, K. Periyasamy por Alagar, Vangalur S, 1940- [autor] \| Periyasamy, K [autor]. Series Graduate texts in computer scienceTipo de material: Texto; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.758 A52, ... 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