Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Symbolic Logic and Mechanical Theorem ProvingChang, Chin-Liang ; Lee, Richard Char-TungSan Diego: Elsevier Science & Technology 1973Texto completo disponível |
|
2 |
Material Type: Livro
|
Natural language communication with computersLeonard Bolc 1934-Berlin New York Springer-Verlag 1978Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.63 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Speech communication with computersLeonard Bolc 1934-München Wien Hanser London Basingstoke Macmillan, 1978Localização: EPBC - Esc. Politécnica-Bib Central (004.934 B638s )(Acessar) |
|
4 |
Material Type: Livro
|
Text processing algorithms, languages, and applicationsAllen B. TuckerNew York Academic Press c1979Localização: ICMC - Inst. Ciên. Mat. Computação (68T70.01 T891t e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Expert systems in the micro-electronic ageDonald MichieEdinburgh Edinburgh University Press c1979Localização: IME - Inst. Matemática e Estatística (QA860.C3 M624e )(Acessar) |
|
6 |
Material Type: Livro
|
Representation and processing of natural languageLeonard Bolc 1934-München Hanser London New York Macmillan 1980Localização: ICMC - Inst. Ciên. Mat. Computação (68T70.01 B689r e.1 )(Acessar) |
|
7 |
Material Type: Livro
|
Principles of artificial intelligenceNilsson, Nils JPalo Alto, Calif: Tioga Pub. Co 1980Sem texto completo |
|
8 |
Material Type: Livro
|
Introductory readings in expert systemsDonald MichieNew York Gordon and Breach c1982Localização: EPBC - Esc. Politécnica-Bib Central (004.891 M582i ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Expert systems principles and case studiesRichard ForsythLondon New York Chapman and Hall New York, NY Methuen 1984Localização: IME - Inst. Matemática e Estatística (QA860.C3 F735e )(Acessar) |
|
10 |
Material Type: Livro
|
Developments in expert systemsM. J CoombsLondon Orlando Academic Press 1984Localização: IME - Inst. Matemática e Estatística (QA860.C3 C775d )(Acessar) |