1
|
Material Type: Livro
|
|
Computing and combinatorics first annual international conference, cocoon, 95...
International Conference on Computing and Combinatorics (1. 1995 Sian, Cn) Dingzhu Du 1948-; Ming Li
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.959 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings
International Workshop on Automated Deduction in Geometry (2nd 1998 Beijing, China) Xiao-Shan Gao; Dongming Wang; Lu Yang 1936-
Carbonell, G., ed.; Siekmann, J., ed Lecture notes in artificial intelligence Berlin : Springer-Verlag, c1994-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1669 e.1 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Advanced information systems engineering 10th international conference, CAiSE'98, Pisa, Italy, June 8-12, 1998 : proceedings
CAiSE '98 (1998 Pisa, Italy) Barbara Pernici; C Thanos (Costantino)
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1413 ) e outros locais(Acessar)
|