Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Técnicas para o desenvolvimento de código eficienteMaria Carolina Monard 1941- Maria das Graças Volpe; Congresso Nacional de Matematica Aplicada e Computacional (5. 1982 João Pessoa)Resumos e Comunicações Submetidas Rio de Janeiro : Sbmac, 1982Rio de Janeiro Sbmac 1982Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2314338 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Técnicas para o desenvolvimento de código eficienteMaria Carolina Monard 1941- Maria das Graças Volpe; Congresso Nacional de Matematica Aplicada e Computacional (5. 1982 João Pessoa)Anais Rio de Janeiro : Sbmac, 1982Rio de Janeiro Sbmac 1982Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2314345 ) e outros locais(Acessar) |
|
3 |
Material Type: Revista
|
Ieee Transactions on Pattern Analysis and Machine IntelligenceUNITED STATES IEEEAcesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Automated Theorem Proving: A Logical BasisD.W. LovelandNorth-Holland 1978Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Machine learning an artificial intelligence approachRyszard Stanis±aw Michalski 1937-; Jaime G Carbonell (Jaime Guillermo); Tom M Mitchell 1951- (Tom Michael); John R Anderson 1947- (John Robert)Berlin New York Springer Verlag 1984,c1983Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (001.535 M621m ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Principles of artificial inteligenceN J NilssonLos Altos Morgan Kaufmann 1980Localização: ICMC - Inst. Ciên. Mat. Computação (68T01 N712p e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Talking chips; with special contributions from jake buurma and lloyd riceNelson MorganNew York Mcgraw-Hill 1984Localização: IME - Inst. Matemática e Estatística (QA860 M849t )(Acessar) |
|
8 |
Material Type: Livro
|
First artificial intelligence coloring bookHarold Cohen Becky Cohen; Penny NiiLos Altos William Kaufmann 1984Localização: IME - Inst. Matemática e Estatística (QA860 C678f )(Acessar) |
|
9 |
Material Type: Livro
|
Artificial intelligenceY Shirai J TsujiiChichester Wiley 1982Localização: ICMC - Inst. Ciên. Mat. Computação (68T01 S558a e.1 )(Acessar) |
|
10 |
Material Type: Livro
|
Machines who thinkP MccorduckNew York Freeman 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68T85 M129m e.1 )(Acessar) |