Resultados
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman por Feferman, Anita Burdman [autor] | Feferman, Solomon [autor]. Tipo de material: Texto; Formato:
impreso ; Naturaleza de los contenidos:  ; Forma literaria:
No es ficción Editor: Cambridge, United Kingdom : Cambridge University Press, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA29.T37 F44, ...
|
|
|
|
|
|
|
|
Algebraic logic por Halmos, Paul R. (Paul Richard), 1916-2006 [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: New York : Chelsea pub., c1962Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA266 H3, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Annals of mathematical logic por Association for Symbolic Logic. Tipo de material:  Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Inglés Editor: Amsterdam : North Holland, 1970-1982Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (2).
|
|
|
|
Annals of pure and applied logic por Association for Symbolic Logic. Tipo de material: Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Inglés Editor: Amsterdam : North-Holland, 1983-Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (98).
|
|
|
|
Artificial intelligence and symbolic computation : International Conference, AISC 2000, Madrid, Spain, july 17-19 , 2000 : revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.) por Campbell, J. A, 1940- [editor] | Roanes Lozano, Eugenio [editor] | International Conference on Artificial Intelligence and Symbolic Mathematical Computation (4 : 1998 : Plattsburgh, Nueva York). Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1930.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 A778 2000.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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, ...
|
