skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Truth and Its Nature (if Any)
Truth and Its Nature (if Any)
Material Type:
Livro
Adicionar ao Meu Espaço

Truth and Its Nature (if Any)

Jaakko Davidson, Donald Hintikka Donald Davidson; Dirk van Dalen

Springer Netherlands 1999

Acesso online. A biblioteca também possui exemplares impressos.

2
Principles of declarative programming 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles of declarative programming 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 ; proceedings

K Meinke; Hugh Glaser; Catuscia Palamidessi; ALP'98 (Conference) (1998 Pisa, Italy); PLILP'98 (Conference) (1998 Pisa, Italy)

Berlin Springer London c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1490 ) e outros locais(Acessar)

3
Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedings

PADL '99 (1999 San Antonio, Tex.) Gopal Gupta

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1551 ) e outros locais(Acessar)

4
Material Type:
Livro
Adicionar ao Meu Espaço

Symposium sobre la argumentación filosófica

International Congress of Philosophy (13th : 1963 : Mexico City) Jean André Wahl 1888-1974

México, D.F Universidad Nacional Autónoma de México, Centro de Estudios Filosóficos 1963

Localização: FD - Fac. Direito    (164.031(061.3) S988 DFD )(Acessar)

5
Logic, Artificial Intelligence and Robotics procedings of Logic Applied to Technology - Laptec' 2001, São Paulo, Brazil, Nov. 12th to 14th, 2001
Material Type:
Livro
Adicionar ao Meu Espaço

Logic, Artificial Intelligence and Robotics procedings of Logic Applied to Technology - Laptec' 2001, São Paulo, Brazil, Nov. 12th to 14th, 2001

Congress of Logic Applied to Technology, 2 Laptec'2001 (2nd 2001 São Paulo, Brazil) Jair Minoro Abe; João Inácio Silva Filho

São Paulo Faculdade SENAC de Ciências Exatas e Tecnologia 2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 C749 2001 v.2 e.1 )(Acessar)

6
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 2005
Material Type:
Livro
Adicionar ao Meu Espaço

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 2005

International Society for the Study of Medieval Philosophy International Colloquium 2005 Kioto) Tetsuro Shimizu 1947-; Charles Burnett (Charles S. F.)

Turnhout Brepols 2009

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (189 I61w )(Acessar)

7
The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
Material Type:
Livro
Adicionar ao Meu Espaço

The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) Maria Luisa Dalla Chiara 1938-; Kees Doets; Daniele Mundici; Johan Van Benthem

Dordrecht Kluwer Academic Publishers Boston, Mass. c1997

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (501 S993 v.259 e.2 ) e outros locais(Acessar)

8
History and Philosophy of Constructive Type Theory
History and Philosophy of Constructive Type Theory
Material Type:
Livro
Adicionar ao Meu Espaço

History and Philosophy of Constructive Type Theory

Sommaruga Donald Davidson; Dirk van Dalen

Springer Netherlands 2000

Acesso online. A biblioteca também possui exemplares impressos.

9
Logic programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings

International Conference on Logic Programming (18th 2002 Copenhagen, Denmark) Peter J Stuckey

Berlin Springer New York 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2401 ) e outros locais(Acessar)

10
Logique et métaphysique dans l'Organon d'Aristote actes du colloque de Dijon
Material Type:
Livro
Adicionar ao Meu Espaço

Logique et métaphysique dans l'Organon d'Aristote actes du colloque de Dijon

Aristóteles 384-322 a.C. Michel Bastit; J Follon (Jacques)

Louvain-la-Neuve Peeters Sterling, Va 2001

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (185.1 A717ate )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1991  (7)
  2. 1991Até1995  (15)
  3. 1996Até2000  (17)
  4. 2001Até2006  (27)
  5. Após 2006  (13)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (69)
  2. Francês  (7)
  3. Alemão  (4)
  4. Italiano  (3)
  5. Espanhol  (2)
  6. Latim  (1)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.