Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings
ABCD PBi
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings
Autor:
SARA 2005 (6th 2005 Airth, Scotland)
Jean-Daniel Zucker
;
L Saitta (Lorenza) 1944
Assuntos:
Computer science -- Congresses
;
Artificial intelligence -- Congresses
;
ENGENHARIA DE PROGRAMAS -- CONGRESSOS
;
ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS)
;
INTELIGÊNCIA ARTIFICIAL (CONGRESSOS)
Notas:
Includes bibliographical references and author index
Títulos relacionados:
Série:Lecture notes in computer science 3607; Lecture notes in computer science Lecture notes in artificial intelligence
Editor:
Berlin Springer New York
Data de criação/publicação:
c2005
Formato:
xii, 376 p ill 24 cm.
Idioma:
Inglês
Disponível na Biblioteca:
ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.3607 )
IME - Inst. Matemática e Estatística (S L471a v.3607 )