Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected PapersGeuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, FreekBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. ProceedingsHu, Zhenjiang ; Rodriquez-Artalejo, Mario Hu, Zhenjiang ; Rodríguez-Artalejo, MarioBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Principles and Practice of Constraint Programming - CP 2000: 6th International Conference, CP 2000 Singapore, September 18-21, 2000 ProceedingsDechter, Rina Dechter, RinaBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 ProceedingsNarendran, Paliath ; Rusinowitch, Michael Narendran, Paliath ; Rusinowitch, MichaelBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |