Resultados
|
|
|
Algebraic and logic programming : Second international conference, nancy, france, october 1-3, 1990 : Proceedigs / H. kirchner, w. wechler, eds. por Kirchner, H [editor] | Wechler, Wolfgang [editor] | International Conference On Algebraic And Logic Programming (1990 : Nancy, Francia). Series Lecture notes in computer scienceTipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 A58.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / Hubert Comon, Claude Marche, Ralf Treinen (eds.) por Comon, Humbert [editor] | Marche, Claude [editor] | Treinen, Ralf [editor] | CCL'99 (1999 : Gif-sur-Yvette, Francia). Series Lecture notes in computer science ; 2002Tipo de material: Texto; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.612 C65.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The godel programming language / Patricia hill, John lloyd por Hill, Patricia, nacimiento 1942 [autor] | Lloyd, John, 1947- [autor]. Series Logic programmingTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Cambridge, massachusetts : The MIT Press, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.73G17 H55, ...
|
|
|
|
|
|
|
|
The Haskell road to logic, maths and programming / Kees Doets, Jan van Eijck por Doets, Kees [autor] | Eijck, Jan van [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Amsterdam : King´s College, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA9 D64, ... No disponible para préstamo a domicilio:Libros: Prestado (1).
|
|
|
|
|
|
|
|
Inductive logic programming : 10th International Conference, ILP 2000, London, UK, july 2000 : proceedings / James Cussens, Alan Frisch, eds. por ILP-2000 (10 : 2000 : Londres, Gran Bretaña) | Cussens, James [editor] | Flisch, Alan [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1866.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: QA76.63 I55 2000.
|
|
|
|
|
|
|
|
The Journal of logic programming por Syracuse University. Logic Programming Research Center | Association for logic Programming. Tipo de material:  Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Inglés Editor: New York, N.Y. : Elsevier Science, 1984-2001Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (23).
|
