Resultados 1 - 10 de 35 para Búsqueda General
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Libro
|
|
Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedingsIlkka Niemelä; Veronica Dahl; ICLP. <23, 2007, Porto>Internetausg. Logic ProgrammingBerlin Springer Heidelberg u.a. 2007Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4670 ) y otras localizaciones(Obténgalo) |
| 2 |
Material Type: Libro
|
|
Logic program synthesis and transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedingsInternational Workshop on Logic Program Synthesisand Transformation (6th 1996 Stockholm, Sweden) John Gallagher (John P.)Berlin Springer New York c1997Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1207 ) y otras localizaciones(Obténgalo) |
| 3 |
Material Type: Libro
|
|
Logic program synthesis and transformation 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedingsInternational Workshop on Logic Program Synthesis and Transformation (1997 Leuven, Belgium) N. E Fuchs (Norbert E.)Berlin New York Springer c1998Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1463 ) y otras localizaciones(Obténgalo) |
| 4 |
Material Type: Libro
|
|
Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedingsFuji International Symposium on Functional and Logic Programming (8th 2006 Susono-shi, Japan) Masami Hagiya 1957; Philip Wadler 1956Berlin Springer New York c2006Acceso en línea. La biblioteca tiene también copias físicas. |
| 5 |
Material Type: Libro
|
|
Functional and logic programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 proceedingsInternational Symposium on Functional and Logic Programming Yukiyoshi Kameyama; Peter J StuckeyBerlin Springer New York 2004Acceso en línea. La biblioteca tiene también copias físicas. |
| 6 |
Material Type: Libro
|
|
Logic programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedingsInternational Conference on Logic Programming (18th 2002 Copenhagen, Denmark) Peter J StuckeyBerlin Springer New York 2002Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2401 ) y otras localizaciones(Obténgalo) |
| 7 |
Material Type: Libro
|
|
Logic programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedingsInternational Conference on Logic Programming (20th 2004 Saint Malo, France) Bart Demoen; Vladimir LifschitzBerlin Springer 2004Acceso en línea. La biblioteca tiene también copias físicas. |
| 8 |
Material Type: Libro
|
|
Logic programming 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedingsInternational Conference on Logic Programming (21st 2005 Sitges, Spain) Maurizio Gabbrielli; G Gupta (Gopal) 1963Berlin Springer New York 2005Acceso en línea. La biblioteca tiene también copias físicas. |
| 9 |
Material Type: Libro
|
|
Meta-programming in logic proceedingsWorkshop on Meta-Programming in Logic, 3., Uppsala, 1992 Alberto PettdrossiBerlin Springer 1992Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.649 e.1 ) y otras localizaciones(Obténgalo) |
| 10 |
Material Type: Libro
|
|
Parallel execution of logic programs proceedingsWorkshop on Parallel Logic Programming, Paris, 1991 Anthony Beaumont; Gopal GuptaBerlin Springer 1991Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.569 e.1 ) y otras localizaciones(Obténgalo) |
Resultados 1 - 10 de 35 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
Refinar mis resultados
Materia
- Programação Lógica (Congressos) (27)
- Logic Programming (19)
- Metodologia E Técnicas De Computação (14)
- Programmation Logique (8)
- Verificação E Validação De Software (Congressos) (5)
- Síntese De Programas (Congressos) (5)
- Logische Programmierung (4)
- Lógica Matemática (Congressos) (3)
- Computer Programming (3)
- Automatic Theorem Proving (3)
- Nonmonotonic Reasoning (3)
- Programming Languages (Electronic Computers) (3)
- Inteligência Artificial (Congressos) (3)
- Logisch Programmeren (2)
- Programmtransformation (2)
- Artificial Intelligence (2)
- Functional Programming (Computer Science) (2)
- Linguagem De Programação (2)
- Linguagens Formais (Congressos) (2)
- Técnicas De Programação (Congressos) (0)
- Técnicas De Programação (Congressos) (0)
-
Más opciones
Creador
- International Workshop on Programming Languages Implementation and Logic Programming (5)
- Bruynooghe, M (3)
- International Conference on Logic Programming (3)
- Voronkov, A (3)
- Niemelä, I (2)
- Gupta, G (2)
- International Workshop on Logic Program Synthesisand Transformation (2)
- Stuckey, P (2)
- Baral, C (2)
- International Static Analysis Symposium (2)
- Hermenegildo, M (2)
- Lifschitz, V (2)
- Fuchs, N (1)
- Penjam, J (1)
- Proietti, M (1)
- International Joint Conference on Theory and Practice of Software Development (1)
- Fuji International Symposium on Functional and Logic Programming (1)
- LPAR (Conference) (1)
- Parisi Presice, F (1)
- LPAR (1)
-
Más opciones
Fecha de Publicación
- Antes de1993 (5)
- 1993Hasta1995 (4)
- 1996Hasta2001 (8)
- 2002Hasta2006 (14)
- Después de 2006 (4)
-
Más opciones
Biblioteca
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 