Su búsqueda recuperó 7 resultados.

Resultados
		10th international conference on automated deduction, kaiserslautern, frg, july 24-27, 1990 : Proceedings / M. e. stickel, ed por International Conference On Automated Deduction (10 : 1990 : Kaiserslautern, Alemania) \| Stickel, Mark E [editor]. Series Lecture notes in computer science ; 449. lecture notes in artificial intelligenceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9A96 I57 1990, ... Hacer reserva Agregar al carrito (remover)
		9th international conference on automated deduction : Argonne, illinois, usa, may 23-26, 1988 : Proceedings / E. lusk, r. overbeek, eds. por International Conference On Automated Deduction (9 : 1988 : Argonne, Illinois) \| Lusk, Ewing [editor] \| Overbeek, Ross A [editor]. Series Lecture notes in computer science ; 310Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1988Otro título: Ninth international conference on automated deduction.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I57 1988. Hacer reserva Agregar al carrito (remover)
		Automated deduction - cade-11 : 11th international conference on automated deduction, saratoga springs, n. y., usa, june 15-18, 1992 : Proceedings / D. kapur, ed. por International Conference On Automated Deduction (11 : 1992 : Saratoga Springs, Nueva York) \| Kapur, D [editor]. Series Lecture notes in artificial intelligence ; 607Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I57 1992. Hacer reserva Agregar al carrito (remover)
		Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.) por International Conference on Automated Deduction (12 : 1994 : Nancy, Francia) \| Bundy, Alan [editor]. Series Lecture notes in computer science ; 814. Lecture notes in artificial intelligenceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D337 I57 1994. Hacer reserva Agregar al carrito (remover)
		Automated deduction - cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA July 30 - August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney (eds.) por International Conference on Automated Deduction (13 : 1996 : New Brunswick, New Jersey) \| McRobbie, M.A [editor] \| Slaney, John K [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I57 1996. Hacer reserva Agregar al carrito (remover)
		Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, july 13-17, 1997 : proceedings / William McCune, ed. por International Conference on Automated Deduction (14 : 1997 : North Queensland, Australia) \| McCune, William [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1249.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9A96 I57 1997, ... Hacer reserva Agregar al carrito (remover)
		Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, Pa. USA, june 2000 : proceedings / David McAllester, ed. por International Conference on Automated Deduction (17 : 2000 : Pittsburgh, Pensilvania) \| McAllester, David [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1831.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I57 2000. 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