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)
New perspectives in quantum field theories proceedings of the XVIth GIFT International Seminar on Theoretical Physics, 3-8 June 1985, Jaca, Huesca, Spain
International Seminar on Theoretical Physics (16th 1985 Jaca, Spain) J Abad; M Asorey; A Cruz
Singapore World Scientific c1986
Localização:
IF - Instituto de Física
(530.14306 I61n 16th ) 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)