Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994
French-Spring School of Theoretical Computer Science (1994 : Chatillon-Sur-Seine, Fr) Andreas Podelski
Berlin Springer 1995
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.910 e.1 ) e outros locais(Acessar)