Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Logiques pour l'intelligence artificielleRaymond TurnerParis New York Barcelone et c. Masson 1986Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 T853lf )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Deducibility and decidabilityR. R. Rockingham Gill 1944-London New York Routledge 1990Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (164 G475d ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Language in action categories, lambdas and dynamic logicJohan Van BenthemAmsterdam North-Holland 2006Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 B476L )(Acessar) |
5 |
Material Type: Tese de Doutorado
|
![]() |
Fundamentos da lógica anotadaAbe, Jair MinoroBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 1992-05-06Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
O culto da informacaoTheodore Roszak Jose Luiz AidarSão Paulo Brasiliense 1988Localização: ECA - Escola de Comunicações e Artes (001.6 R841c ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Administração por sistemasCharles J Minnich Oscar S NelsonSão Paulo Atlas 1971Localização: ECA - Escola de Comunicações e Artes (658.4032 M665a ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Teoria geral dos sistemasLudwig von Bertalanffy 1901-1972 Francisco M GuimarãesPetropolis Vozes 1973Localização: EACH - Esc. Artes, Ciências e Humanidades (003 B536t ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Basic simple type theoryJ. Roger HindleyCambridge Cambridge University Press 2002Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (005.133 H662b )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Introdução a ciência dos computadores resumo da teoria, 300 problemas resolvidos, 299 problemas propostosFrancis Scheid Orlando Agueda; Hideo ButsuganSão Paulo McGraw-Hill do Brasil 1973Localização: EE - Escola de Enfermagem (517.382 S318i ex.3 ) e outros locais(Acessar) |