Resultados
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
Course of mathematical logic. por Fraisse, Roland [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Dordrecht-holland : D. Reidel, 1973Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 F582.
|
|
|
La demostracion en geometria. por Fetisov, A. I [autor]. Tipo de material: Texto; Forma literaria:
No es ficción Editor: México : Limusa-Wiley, 1973Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA481 F47.
|
|
|
|
|
|
|
|
|
¿Es dios un matemático? Mario Livio ; de la traducción Francesc Pedrosa por Livio, Mario, 1945- [autor] | Pedrosa, Francesc [traductor]. Tipo de material: Texto; Forma literaria:
No es ficción Idioma: Español Lenguaje original: Inglés Editor: Barcelona : Ariel, c2009Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA8.4 L5818, ...
|
|
|
|
|
|
Fascículo de inducción matemática / Juan Velázquez Torres por Velázquez Torres, Juan [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México, D.F. : UNAM, Facultad de Ingeniería, 2000Disponibilidad: Ítems disponibles para préstamo: Libros (54)Clasificación: QA9.25 V45, ...
|
|
|
|
|
|
|
|
|
Iniciacion a la logica simbolica. por Arnaz, José Antonio [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México : ANUIES, 1975Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 A73.
|
|
|
|
|
|
|
|
|
|
|
|
Introduccion a la logica deductiva y teoria de los conjuntos por Salazar Resines, Javier [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México : UNAM, Direccion General de Publicaciones, 1970-9999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA248 S34, ...
|
|
|
Introduccion al metodo matematico / F. Javier Perez Fernandez por Perez Fernandez, F. Javier [autor] | Universidad de Cadiz. Servicio de Publicaciones. Tipo de material: Texto; Formato:
impreso Idioma: SPA Editor: Cadiz : Universidad de Cadiz, Servicio de Publicaciones, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 P46.
|
|
|
Introduction to mathematical logic / Elliot Mendelson por Mendelson, Elliott [autor]. Edición: 5th ed.Tipo de material: Texto; Forma literaria:
No es ficción Editor: Boca Raton : CRC Press, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA9 M4 2010, ...
|