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)