Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedings
Ilkka Niemelä; Veronica Dahl; ICLP. <23, 2007, Porto>
Internetausg. Logic ProgrammingBerlin Springer Heidelberg u.a. 2007
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4670 ) e outros locais(Acessar)