Su búsqueda recuperó 136 resultados.

Resultados
		An algebraic introduction to mathematical logic / By D. W. Barnes and J. M. Mack por Barnes, Donald W, 1935- [autor] \| Mack, John M [autor]. Series Graduate text in mathematics ; 22Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, 1950Otro título: Mathematical logic.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 B36. Hacer reserva Agregar al carrito (remover)
		Algebraic methods of mathematical logic / translated by maichal basch por Rieger, Ladislav, 1916-1963 [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Prague : Academia, 1967Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 R53. Hacer reserva Agregar al carrito (remover)
		Analysis and decision making in uncertain systems / Zdzislaw Bubnicki por Bubnicki, Zdzislaw [autor]. Series Communications and control engineeringTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: T58.62 B83. Hacer reserva Agregar al carrito (remover)
		Aprender a razonar / Fina Pizarro por Pizarro, Fina [autor]. Series Biblioteca de recursos didacticos alhambraTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Madrid : Alhambra, 1986Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC177 P59. Hacer reserva Agregar al carrito (remover)
		Apuntes de lógica matemática / Abel Camacho Galvan. por Camacho Galvan, Abel. Series Facultad de Ingeniería, División de Estudios de Posgrado ; - A-34Tipo de material: Texto Detalles de publicación: México : ado Disponibilidad: No disponible para préstamo a domicilio:Folletos: Estantería cerrada (1). Agregar al carrito (remover)
		The art of conjecture / Bertrand de Jouvenel ; translated from the french by Nikita Lary por Jouvenel, Bertrand de, 1903- [autor] \| Lary, Nikita [traductor] \| Jouvenel, Bertrand de, 1903-. Art de la conjeture. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Basic, c1967Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC181 J6813. Hacer reserva Agregar al carrito (remover)
		Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang, eds. por AISC 2006 (2006 : Pekín, China) \| Calmet, Jacques [editor] \| Ida, Tetsuo [editor] \| Wang, Dongming, 1961- [editor]. Series Lecture notes in computer science ; 4120 \| Lecture notes in computer science. Lecture notes in artificial intelligence \| Lecture notes in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: AISC 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 A778 2006. 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)
		The axiomatic method : An introduction to mathematical logic por Lightstone, A H [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Englewood cliffs : Prentice Hall, c1964Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 L53. Hacer reserva Agregar al carrito (remover)
		Basic concepts of mathematics and logic / by Michael C. Gemignani. por Gemignani, Michael C [autor]. Series Addison-Wesley series in introductory mathematicsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, Mass. : Addison-Wesley, 1968Otro título: Mathematics and logic.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA39 G43. Hacer reserva Agregar al carrito (remover)
		Coding, cryptography, and combinatorics / Keqin Feng, Harald Niederreiter, Chaoping Xing, editors por Workshop on Coding, Cryptography, and Combinatorics (2003 : Huangshan Shi, China) \| Feng, Keqin [editor] \| Niederreiter, Harald, 1944- [editor] \| Xing, Chaoping, 1963- [editor]. Series Progress in computer science and applied logic ; v. 23Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Basel : Birkhäuser Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA242.5 W67. Hacer reserva Agregar al carrito (remover)
		Combinatory logic : pure, applied, and typed / Katalin Bimbo por Bimbo, Katalin, 1963- [autor]. Series Discrete mathematics and its applicationsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton : Taylor & Francis, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 B56. Hacer reserva Agregar al carrito (remover)
		Commonsense reasoning : an event calculus based approach / Erik T. Mueller por Mueller, Erik T [autor]. Edición: Second editionTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Waltham, Massachusetts : Morgan Kaufmann, [2015]Fecha de copyright: ©2015Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q338.85 M84 2015. Hacer reserva Agregar al carrito (remover)
		Compounds statements and mathematical logic. por Cangelosi, Vincent E [autor]. Series Merrill's mathematics and quantitative methods seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Colombus : C. E. Merrill Books, 1967Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 C25. Hacer reserva Agregar al carrito (remover)
		Computational intelligence : theory and applications : International Conference, 9th fuzzy days, Dortmund, Germany, Sept. 18-20, 2006 proceedings / Bernd Reusch, (ed.) por Reusch, Bernd [editor]. Series Advances in soft computingTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q342 C65 2006. Hacer reserva Agregar al carrito (remover)
		Computing with logic : Logic programming with prolog / David maier, David s. Warren por Maier, David, 1953- [autor] \| Warren, David S [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Menlo park, california : Benjamin/Cummings, c1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73P76 M35. Hacer reserva Agregar al carrito (remover)
		Conceptos y categorias : Ensayos filosoficos / Isaiah berlin por Berlin, Isaiah, Sir [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: México : Fondo de Cultura Económica, 1983Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: B29 B4617. Hacer reserva Agregar al carrito (remover)
		A concise introduction to pure mathematics / Martin Liebeck por Liebeck, M. W. (Martin W.), 1954- [autor]. Series Chapman & Hall/CRC mathematicsEdición: 3rd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton : CRC Press, 2011Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.4 L54 2011. Hacer reserva Agregar al carrito (remover)
		Construccion logica de programas : teoria y problemas resueltos / Luis Garcia Sanchez ... [y otros.] por Garcia Sanchez, Luis [colaborador]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: México, D.F. : Alfaomega, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 C6475. Hacer reserva Agregar al carrito (remover)
		Constructing logic programs / Ed. by Jean-marie jacquet por Jacquet, Jean-Marie [editor]. Series Wiley professional computingTipo de material: Texto; Formato: impreso Editor: Chichester : J. Wiley, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 C65. 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 "Dr. Enzo Levi” Conjunto sur, Edificio de Posgrado de la Facultad de Ingeniería

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

Aviso de Privacidad