1
Material Type:
Livro
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)
This feature requires javascript
2
Material Type:
Livro
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
AISC'98 (Conference ) (1998 Plattsburgh, N.Y.) Jacques Calmet; Jan Plaza; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (4th 1998 Plattsburgh, N.Y.)
Carbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-
Berlin London Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1476 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers
International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th 2000 Madrid, Spain) J. A Campbell 1940-; Eugenio Roanes-Lozano
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1930 ) e outros locais(Acessar)
This feature requires javascript