1
Material Type:
Livro
Topicos de teoria dos sistemas ordenados
N A C Costa C Barros; J M Abe
Sao Paulo Iea-Usp 1995
Item não circula. Consulte sua biblioteca.(Acessar)
2
Material Type:
Livro
Remarks on analogy
N A C Costa A M Sette
Sao Paulo Iea-Usp 1990
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(Costa, N C A doc 51 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Lógica pensamento formal e argumentação
Alaôr Caffé Alves
São Paulo Quartier Latin 2002
Localização:
FD - Fac. Direito
(16 A477L 2.ed. BCI ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Set-theoretical foundations of categories in biology
N A C Costa J M Abe; Nelson Papavero 1942-
Sao Paulo Iea-Usp 1991
Item não circula. Consulte sua biblioteca.(Acessar)
5
Material Type:
Livro
Two-dimensional executable temporal logic for bitemporal databases
Marcelo Finger Mark Reynolds
Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000
Dordrecht Springer 2000
Localização:
IME - Inst. Matemática e Estatística
(PROD-1024198 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Automatic theorem proving in paraconsistent logics theory and implementation
N A C Costa L J Henschen; J J Lu; V S Subrahmanian
São Paulo Iea-Usp 1990
Item não circula. Consulte sua biblioteca.(Acessar)
7
Material Type:
Artigo de Congresso
Tableaux for approximate reasoning
Marcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)
Proceedings Seatle : IJCAI, 2001
Seatle IJCAI 2001
Localização:
IME - Inst. Matemática e Estatística
(PROD-1253528 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Artigo de Congresso
Resolucao de problemas em nomos efeito do grau de dificuldade logica do principio, e da nota diferencial para precisao de educao
V B Haydu Fernando César Capovilla; C E Costa; M P Andrade; J C Luzia; S G Maichaki; C M Pagnossim; K G Silva; L. S Silva; L F Gava; M M Bueno; E C Macedo; Congresso Interno do Nucleo de Pesquisa em Neurociencias e Comportamento (4. 1994 Ribeirao Preto)
Resumos de Comunicacoes Cientificas Ribeirão Preto : Faculdade de Filosofia Ciencias e Letras-USP, 1994
Ribeirao Preto Faculdade de Filosofia Ciencias e Letras-Usp 1994
Localização:
IP - Instituto de Psicologia
(QP360 C749r 1994 (AM=VDo/25) ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Artigo de Congresso
Structurally-free theorem proving and the learning of structural permissions in categorial grammar
Marcelo Finger LACL 98: Logical Aspects of Computational Linguistics (1998 Grenoble)
LACL 98: Logical Aspects of Computational Linguistics Grenoble : Université Pierre Mendes- France, 1998
Grenoble Université Pierre Mendes-France 1998
Item não circula. Consulte sua biblioteca.(Acessar)
10
Material Type:
Livro
Paralog um prolog paraconsistente baseado em logica anotada
Newton Carneiro Affonso da Costa 1929- J P A Prado; Jair Minoro Abe; B C Avila; Márcio Rillo 1953-2010
Sao Paulo Iea-Usp 1995
Item não circula. Consulte sua biblioteca.(Acessar)