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)
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 : revised papers
International Workshop on Infrastructure for Scalable Multi-Agent Systems (2000 Barcelona, Spain) Tom Wagner; Omer Rana
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1887 ) e outros locais(Acessar)
Bio-inspired applications of connectionism 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001, proceedings, part II
International Work-Conference on Artificial and Natural Neural Networks (6th 2001 Granada, Spain) J Mira (José); A Prieto (Alberto)
Berlin Springer London 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2085 ) e outros locais(Acessar)
FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) Maurice Naftalin 1951-; Tim Denvir 1939-; Miquel Bertran
Berlin New York Springer-Verlag c1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.873 e.1 ) e outros locais(Acessar)
Connectionist models of neurons, learning processes, and artificial intelligence 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001 : proceedings. Pt. I
International Work-Conference on Artificial and Natural Neural Networks (6th 2001 Granada, Spain) J Mira (José); A Prieto (Alberto)
Berlin Springer London c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2084 ) e outros locais(Acessar)
Computer aided systems theory EUROCAST'97 a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997 : proceedings
International Workshop on Computer Aided Systems Theory (6th 1997 Las Palmas (Canary Islands) Franz Pichler Ing., Dr. phil; Roberto Moreno-Díaz
Berlin New York Springer Verlag c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1333 e.1 ) e outros locais(Acessar)
Computer aided systems theory - EUROCAST 2001 a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers
International Workshop on Computer Aided Systems Theory (8th 2001 Las Palmas (Canary Islands) Roberto Moreno-Díaz; Bruno Buchberger; José-Luis Freire
Berlin Springer 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2178 ) e outros locais(Acessar)