Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Revista
|
Journal of Symbolic LogicENGLAND Cambridge University PressAcesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Revista
|
Annals of Pure and Applied LogicNETHERLANDS North-HollandAcesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Simbolizacao no calculo de predicados 650 problemasLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo EPU EDUSP c1976Localização: CDCC - Cent. Div. Científica e Cultural (511.3 H462s ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Elementos de lógica teóricaDavid Hilbert 1862-1943 Víctor Sánchez de Zavala; W Ackermann 1896- (Wilhelm)Madrid Ed. Tecnos 1962Localização: ICMC - Inst. Ciên. Mat. Computação (03B01 H641e ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Deducao no calculo de predicadosLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo EPU EDUSP c1978Localização: CDCC - Cent. Div. Científica e Cultural (511.3 H462d ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Introdução a lógica matemáticaBenedito Castrucci 1909-1995 G.E.E.MSão Paulo Nobel 1973Localização: ICMC - Inst. Ciên. Mat. Computação (03-01 C355i e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
A real-time neural network based color classifierÉder Augusto Penharbel Ben-Hur Gonçalves; Roseli Aparecida Francelin Romero; IEEE Latin American Robotic Symposium - LARS (5. 2008 Natal, Rio Grande do Norte)Proceedings Los Alamitos, Ca : IEEE Computer Society, 2008Los Alamitos, Ca IEEE Computer Society 2008Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1996959 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Iniciação a lógica matemáticaEdgard de Alencar Filho 1913-São Paulo Nobel 1984Localização: EEL - Biotecnologia e Química (517.11 A125e 15ed. ex.5 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
The Syntax and Semantics of Infinitary LanguagesJon BarwiseSpringer Berlin Heidelberg 1968Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Lógica o cálculo de predicadosLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo Herder Edusp 1973Localização: EE - Escola de Enfermagem (164 H462lo ) e outros locais(Acessar) |