Su búsqueda recuperó 14 resultados.

Resultados
		All about maude : a high performance logical frameworl : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [y otros.] por Clavel, Manuel, 1969- [colaborador]. Series LNCS sublibrary. SL 2. Programming and software engineering \| Lecture notes in computer science ; 4350Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2007Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.73M35 A55, ... Hacer reserva Agregar al carrito (remover)
		Automata theory and logic / edited by Gerard Prudhomme por Prudhomme, Gerard [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oakville, ON : Arcler Press, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ211 A836. Hacer reserva Agregar al carrito (remover)
		Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna por Bradley, Aaron R [autor] \| Manna, Zohar [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2007Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 B73. Hacer reserva Agregar al carrito (remover)
		Computational logic / ed. by Ulrich Berger, Helmut Schwichtenberg por Berger, Ulrich, 1956- [editor] \| Schwichtenberg, Helmut, 1942- [editor] \| Organizacion del Tratado del Atlantico del Norte. Scientific Affairs Division. Series NATO ASI series. Series F, Computer and systems sciences ; v. 165Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, 1999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9L63 C65, ... Hacer reserva Agregar al carrito (remover)
		Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings / John Lloyd ... [y otros.] (eds.) por CL 2000 (2000 : Londres, Inglaterra) \| Lloyd, John Wylie, 1947- [editor]. Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1861.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, 2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 C64. Hacer reserva Agregar al carrito (remover)
		Computational thinking / Peter J. Denning and Matti Tedre por Denning, Peter J, 1942- [autor] \| Tedre, Matti [autor]. Series The MIT press essential knowledge seriesTipo de material: Texto; Forma literaria: No es ficción Editor: Cambridge, Massachusetts : The MIT Press, [2019]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 D47. Hacer reserva Agregar al carrito (remover)
		Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, august 2000 : proceedings / Peter G. Clote, Helmut Schwichtenberg, eds. por Workshop on Computer Science Logic (14 : 2000 : Fischbachau, Alemania) \| Clote, Peter G [editor] \| Schwichtenberg [editor]. Series Lecture notes in computer science ; v. 1862Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 W67 2000. Hacer reserva Agregar al carrito (remover)
		Lógica y matemática : para ciencias de la computación / Fidel Barboza Gutiérrez por Barboza Gutiérrez, Fidel [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Bogotá, Colombia : Universidad Piloto de Colombia, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9L63 B37, ... Hacer reserva Agregar al carrito (remover)
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan por Huth, Michael, 1962- [autor] \| Ryan, Mark, 1962- [autor] \| University of Cambridge. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Cambridge : University of Cambridge, 2000Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9L63 H87, ... Hacer reserva Agregar al carrito (remover)
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan por Huth, Michael, 1962- [autor] \| Ryan, Mark, 1962- [autor]. Edición: 2nd ed.Tipo de material: Texto; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (15)Clasificación: QA76.9L63 H87 2004, ... Hacer reserva Agregar al carrito (remover)
		Logical foundations for cognitive agents : contributions in honor of Ray Reiter / Hector J. Levesque, Fiora Pirri, eds. por Levesque, Hector J, 1951- [editor] \| Pirri, Fiora [editor] \| Reiter, Ray. Series Artificial intelligenceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9L63 L62, ... Hacer reserva Agregar al carrito (remover)
		Logical structures for representation of knowledge and uncertainty / Ellen Hisdal por Hisdal, Ellen, 1923- [autor]. Series Studies in fuzziness and soft computing ; vol. 14Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Physica, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 H57 1998. Hacer reserva Agregar al carrito (remover)
		Modal and temporal properties of processes / Colin Stirling por Stirling, Colin P [autor]. Series Texts in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9L63 S75, ... 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)

¿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