Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedingsPADL '99 (1999 San Antonio, Tex.) Gopal GuptaBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1551 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Principles of declarative programming 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 ; proceedingsK Meinke; Hugh Glaser; Catuscia Palamidessi; ALP'98 (Conference) (1998 Pisa, Italy); PLILP'98 (Conference) (1998 Pisa, Italy)Berlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1490 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
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. 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4670 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
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 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2401 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
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 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Programming language implementation and logic programming proceedingsInternational Workshop on Programming Languages Implementation and Logic Programming (5. 1993 Tallinn) Maurice BruynoogheBerlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.714 e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Logic in databases proceedings [of the] international workshop lid'96, held in san miniato, italy, july 1-2, 1996International Workshop on Logic in Databases (1996 San Miniato, It) Dino Pedreschi; Carlo ZanioloBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1154 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Logic program synthesis and transformation proceedings [of the] 5th international workshop, lopstr'95, held in utrecht, the netherlands, september 20-22, 1995International Workshop on Logic Program Synthesisand Transformation (5. 1995 Utrecht, Nl) Maurizio ProiettiBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1048 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
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 c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1207 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Programming language implementation and logic programming proceedingInternational Workshop on Programming Languages Implementation and Logic Programming, 3., Passau, 1991 Jan MaluszynskiBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.528 e.1 ) e outros locais(Acessar) |