Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
Hubert Comon; Claude Marché; Ralf Treinen; ESPRIT CCL Working Group; CCL'99 (1999 Gif-sur-Yvette, France)
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2002 ) e outros locais(Acessar)
Gesture-based communication in human computer interaction International Gesture Workshop, GW'99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings
International Gesture Workshop (1999 Gif-sur-Yvette, France) Anneliese Braffort
Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings
Jacques Calmet; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France); CALCULEMUS (2002 Marseille, France)
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.2385 ) e outros locais(Acessar)