Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Truth and Its Nature (if Any)Jaakko Davidson, Donald Hintikka Donald Davidson; Dirk van DalenSpringer Netherlands 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Principles of declarative programming 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 ; proceedingsK Meinke; Hugh Glaser; Catuscia Palamidessi; ALP'98 (Conference) (1998 Pisa, Italy); PLILP'98 (Conference) (1998 Pisa, Italy)Berlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1490 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedingsPADL '99 (1999 San Antonio, Tex.) Gopal GuptaBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1551 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Symposium sobre la argumentación filosóficaInternational Congress of Philosophy (13th : 1963 : Mexico City) Jean André Wahl 1888-1974México, D.F Universidad Nacional Autónoma de México, Centro de Estudios Filosóficos 1963Localização: FD - Fac. Direito (164.031(061.3) S988 DFD )(Acessar) |
|
5 |
Material Type: Livro
|
Logic, Artificial Intelligence and Robotics procedings of Logic Applied to Technology - Laptec' 2001, São Paulo, Brazil, Nov. 12th to 14th, 2001Congress of Logic Applied to Technology, 2 Laptec'2001 (2nd 2001 São Paulo, Brazil) Jair Minoro Abe; João Inácio Silva FilhoSão Paulo Faculdade SENAC de Ciências Exatas e Tecnologia 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 C749 2001 v.2 e.1 )(Acessar) |
|
6 |
Material Type: Livro
|
The Word in medieval logic, theology and psychology acts of the XIIIth International Colloquium of the Société Internationale pour l'Étude de la Philosophie Médiévale, Kyoto, 27 september-1 october 2005International Society for the Study of Medieval Philosophy International Colloquium 2005 Kioto) Tetsuro Shimizu 1947-; Charles Burnett (Charles S. F.)Turnhout Brepols 2009Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (189 I61w )(Acessar) |
|
7 |
Material Type: Livro
|
The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) Maria Luisa Dalla Chiara 1938-; Kees Doets; Daniele Mundici; Johan Van BenthemDordrecht Kluwer Academic Publishers Boston, Mass. c1997Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (501 S993 v.259 e.2 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
History and Philosophy of Constructive Type TheorySommaruga Donald Davidson; Dirk van DalenSpringer Netherlands 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Logic programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedingsInternational Conference on Logic Programming (18th 2002 Copenhagen, Denmark) Peter J StuckeyBerlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2401 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Logique et métaphysique dans l'Organon d'Aristote actes du colloque de DijonAristóteles 384-322 a.C. Michel Bastit; J Follon (Jacques)Louvain-la-Neuve Peeters Sterling, Va 2001Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (185.1 A717ate )(Acessar) |