Resultados
|
|
441.
|
|
|
|
|
442.
|
|
|
|
|
443.
|
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein. por Series Lecture Notes in Computer Science ; 3392
Edición: 1a ed.
Tipo de material:  Archivo de ordenador; Formato:
electrónico
Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Digital (1)Signatura topográfica: QA76.76.C65 S45 2005.
|
|
|
444.
|
|
|
|
|
445.
|
|
|
|
|
446.
|
|
|
|
|
447.
|
|
|
|
|
448.
|
|
|
|
|
449.
|
|
|
|
|
450.
|
|
|
|
|
451.
|
|
|
|
|
452.
|
|
|
|
|
453.
|
|
|
|
|
454.
|
|
|
|
|
455.
|
|
|
|
|
456.
|
|
|
|
|
457.
|
|
|
|
|
458.
|
|
|
|
|
459.
|
|
|
|
|
460.
|
|
Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder. por Series Lecture Notes in Computer Science ; 3474
Tipo de material: Archivo de ordenador; Formato:
electrónico
Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Digital (1)Signatura topográfica: QA76.62 G74 2005.
|