Resultados
|
|
|
Logic and information / Keith j. devlin por Devlin, Keith J [autor]. Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Cambridge : Cambridge University Press, 1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q360 D48 1991.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic by way of set theory / Henry Ehlers por Ehlers, Henry [autor]. Tipo de material: Texto; Formato:
impreso Editor: New York : Holt, Rinehart and Winston, c1968Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC108 E45.
|
|
|
|
|
|
|
|
|
|
|
|
Logic for programming artificial intelligence and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baade, Andrei Virinkov, eds. por LPAR (Conferencia) (11 : 2005 : Montevideo, Uruguay) | Baader, Franz [editor] | Voronkov, A. (Andrei), 1959- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 3452.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: LPAR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I57 2004.
|
|
|
|
|
|
|
|
|
|
|
|
Logic, methodology and philosophy of science : Proceedings / Ed. by e. nagel, p. suppes and a. tarski por International Congress For Logic, Methodology And Philosophy Of Science # Stanford, Calif 1960 | Nagel, Ernest, 1901-. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Stanford : Stanford University Press, 1962-9999Otro título: Union internacional de historia y filosofia de las ciencias. division de logica, metodologia y filosofia de las ciencias.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 I55.
|
|
|
|
|
|
|
|
|
|
|
|
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997 : proceedings / Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, (eds.) por LPNMR '97 (4 : 1997 : Dagstuhl, Wadern, Alemania) | Dix, Jurgen, 1961- [editor] | Fuhrbach, Ulrich [editor] | Nerode, Anil, 1932- [editor]. Series Lecture notes in computer science ; 1265. | Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1997Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.63 L655 1997, ...
|
|
|
|
|
|
|
|
Logica de las normas. por Ross, Alf, 1899- [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Madrid : Tecnos, 1971Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: B132.N3 R6.
|
|
|
|
Logica elemental / Gonzalo zubieta russi por Zubieta Russi, Gonzalo [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México : ANUIES, 1973Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 Z822.
|
|
|
|
|
|
|
|
|
|
|
|
|
