Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The art of clear thinking / by Rudolf Flesch por Flesch, Rudolf, 1911-1986 [autor]. Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: New York : Barnes & Noble, 1973Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BF455 F55.
|
|
|
|
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.
|
|
|
|
|
|
|
|
Conceptos elementales de lógica informática / Nelson Becerra Correa por Becerra Correa, Nelson [autor]. Series Libro universitarioTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Bogota : Universidad Distrital "Francisco Jose de Caldas", Facultad Tecnológica ; Ecoe ediciones, [2012]Fecha de copyright: ©2012 Disponibilidad: Ítems disponibles para préstamo: Libros (5)Clasificación: QA76.9L63 B43, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / Lou Goble, John-Jules Ch. Meyer, eds. por International Workshop on Deontic Logic in Computer Science (8 : 2006 : Utrecht, Países Bajos) | Goble, Lou [editor] | Meyer, John-Jules Ch [editor]. Series Lecture notes in computer science ; 4048 | Lecture notes in artificial intelligenceTipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : New York : Springer Verlag, c2006Otro título: 8th International Workshop on Deontic Logic in Computer Science | Eighth International Workshop on Deontic Logic in Computer Science | DEON 2006.Acceso en línea: Restricted to SpringerLink subscribers | Descripción del editor Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 I65 2006.
|
|
|
|
|
|
|
|
|
|
|
|
¿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, ...
|
