Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France) W Bibel 1938-; Robert KowalskiBerlin Springer-Verlag New York 1980Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 LNCS v.87 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982Conference on Automated Deduction (6th 1982 New York, N.Y.) Donald W LovelandBerlin Springer-Verlag New York 1982Localização: IME - Inst. Matemática e Estatística (S L471c v.138 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Statistical Physics, Automata Networks and Dynamical SystemsM. Goles, Eric Martínez, Servet Hazewinkel Servet MartínezSpringer Netherlands 1992Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Cellular Automata, Dynamical Systems and Neural NetworksM. Goles, Eric Martínez, Servet Hazewinkel Eric Goles; Servet MartínezSpringer Netherlands 1994Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Computer aided systems theory - CAST'94 selected paper [of the] 4th international workshop, held in Ottawa, Ontario, Canada, may 16-20, 1994International Workshop on Computer Aided Systems Theory (4. 1994 Ottawa, Ca) Tuncer I Oren; European Workshop on Computer Aided Systems Theory (4. 1994 Ottawa, Ca)Berlin De 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1105 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
The 1996 IEEE International Conference on Neural Networks, June 3-6, 1996, Sheraton Washington Hotel, Washington, D.C., USAIEEE International Conference on Neural Networks (1996 Washington, D.C.) IEEE Neural Networks Council; Institute of Electrical and Electronics EngineersNew York Institute of Electrical and Electronics Engineers Piscataway, N.J. May be ordered from IEEE Service Center c1996Localização: EPBC - Esc. Politécnica-Bib Central (004.8 Ie2n 1996 v.4 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Evolutionary computing AISB International Workshop, Manchester, UK, April 7-8, 1997 : selected papersAISB International Workshop (1997 Manchester, England) David Corne 1962-; Jonathan L Shapiro; Society for the Study of Artificial Intelligence and Simulation of BehaviourBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1305 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
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 : proceedingsInternational Workshop on Computer Aided Systems Theory (6th 1997 Las Palmas (Canary Islands) Franz Pichler Ing., Dr. phil; Roberto Moreno-DíazBerlin New York Springer Verlag c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1333 e.1 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Intelligent agents IV agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedingsInternational Workshop ATAL'97 (4th 1997 Providence, R.I.) Munindar P Singh 1964- (Munindar Paul); Anand Rao 1962-; Michael J Wooldridge 1966-Carbonell, G., ed., Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-New York Springer c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1365 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Principles of data mining and knowledge discovery 5th European conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001 : proceedingsPKDD 2001 (2001 Freiburg, Germany) Luc de Raedt 1964-; Arno Siebes 1958-Berlin Springer New York c2001Localização: IME - Inst. Matemática e Estatística (S L471a v.2168 )(Acessar) |