Idioma:

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)

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2385 ) e outros locais(Acessar)

Título:
Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings
Autor: Jacques Calmet; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France); CALCULEMUS (2002 Marseille, France)
Assuntos: Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses; Automatic theorem proving -- Congresses; INTELIGÊNCIA ARTIFICIAL; MATEMÁTICA DA COMPUTAÇÃO
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science Lecture notes in artificial intelligence; Lecture notes in computer science 2385
Editor: Berlin Springer New York
Data de criação/publicação: c2002
Formato: xi, 341 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados