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
|
![]() |
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedingsAda Software Tools Interfaces Workshop (1983 Bath, England) Peter J. L WallisBerlin Springer-Verlag New York 1984Localização: IME - Inst. Matemática e Estatística (S L471c v.180 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Expert database systems proceedingsInternational Workshop on Expert Database Systems (1. 1984 Kiawah Island) Larry KerschbergMenlo Park Benjamin/cummings c1986Localização: EPBC - Esc. Politécnica-Bib Central (004.891 In8e 1. )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Social, ergonomic and stress aspects of work with computers proceedings of the Second International Conference on Human-Computer InteractionInternational Conference on Human-Computer Interaction (2. 1987 Honolulu) Gavriel Salvendy; Steven L Sauter; Joseph J Hurrell Jr.Amsterdam Oxford Elsevier Science 1987Localização: ECA - Escola de Comunicações e Artes (004.019 I61s v.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
AnaisJornada De Atualização De Grupo De Inteligência Artificial (2 . 1989 Rio de Janeiro) Jornada De Atualização De Grupo De Inteligência Artificial 2. 1989Rio de Janeiro NCE-UHRJ 1989Localização: IME - Inst. Matemática e Estatística (QA860.C J82a )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Artificial intelligence in real-time control proceedingsWorkshop on Artificial Intelligence in Real-Time Control, 2., Shenyang, 1989 M. G Rodd; Li, Hua-Tian; Su, Shi-QuanOxford Pergamon 1990Localização: IME - Inst. Matemática e Estatística (S A615 v.15 pt.II )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Computer assisted learning proceedingsInternational Conference on Computer Assisted Learning, 3., Hagen, 1990 Douglas H NorrieBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.438 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Machine learning proceedings of the Eighth International Workshop (ML91)Lawrence A Birnbaum; Gregg C Collins; International Workshop on Machine Learning (8th 1991 Northwestern University)San Mateo Morgan Kaufmann Publishers, Inc 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 M149 1991 e.1 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
First International Conference on Artificial Intelligence Applications on Wall Street proceedings, October 9-11, 1991, New York, New YorkInternational Conference on Artificial Intelligence Applications on Wall Street (1st 1991 New York, N.Y.) Polytechnic University (Brooklyn, New York, N.Y.) Division of ManagementLos Alamitos, Calif IEEE Computer Society Press 1991Acesso online. A biblioteca também possui exemplares impressos. |