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.
|
|
|
|
|
|
|
|
|
|
|
|
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, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A computational logic handbook / Robert S. Boyer and J. Strother Moore por Boyer, Robert S [autor] | Moore, J. Strother [autor]. Edición: 2nd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: San Diego, California : Academic, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 B682 1998.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer, ed. por Lauer, Peter E, 1934- [editor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 F84.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
Types for proofs and programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994 : proceedings / Peter Dybjer, Bengt Nordstrom, Jan Smith, eds. por International Workshop TYPES '94 (1994 : Bastad, Suecia) | Dybjer, Peter [editor] | Nordstrom, Bengt [editor] | Smith, Jan M [editor]. Series Lecture notes in computer science ; 996Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I58.
|
|
|
|
Types for proofs and programs : International Workshop, TYPES'99, Kloster Lokeberg, Sweden, June 12-16, 1999 : select papers / Thierry Coquand ... [y otros.], (Eds.) por International Workshop TYPES (1999 : Lokeberg, Suecia) | Coquand, Thierry, 1961- [editor]. Series Lecture notes in computer science ; 1956Tipo 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 I58 1999.
|
