Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Representation and meaning; experiments with information processing systemsHerbert Alexander Simon 1916- Laurent SiklóssyEnglewood Cliffs, N.J. Prentice-Hall 1972Localização: IME - Inst. Matemática e Estatística (QA860.C3 S594r ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Journal on Data Semantics IGerhard Hartmanis, Juris van Leeuwen, Jan Goos Karl Aberer; Sal March; S SpaccapietraSpringer Berlin Heidelberg 2003Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Logic programming and its applicationsMichel van Caneghem; David H. D WarrenNorwood, N.J. Ablex Pub. Corp. c1986Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 C221l e.1 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Journal on data semantics VIIS SpaccapietraBerlin Springer New York, N.Y. c2006Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Logic programming a classified bibliographyIsaac Balbin Koenraad LecotAbbotsford, Australia York Press c1985Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 B172l e.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Foundations of logic programmingJ. W. Lloyd 1947- (John Wylie)Berlin New York Springer-Verlag 1984Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 L793f e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
On conceptual modelling perspectives from artificial intelligence, databases, and programming languagesMichael L Brodie; John Mylopoulos; Joachim W Schmidt 1941-New York Springer-Verlag c1984Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (001.424 B864o ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
The logic of partial informationAreski Nait Abdallah 1950-Berlin Springer New York c1995Localização: IME - Inst. Matemática e Estatística (QA860 A135L )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lecturesEuropean Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France) J Väänänen 1950- (Jouko)Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1754 e.1 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Natural language understandingJames AllenRedwood City, Calif. Benjamin/Cummings c1995Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.43 AL53n2 ) e outros locais(Acessar) |