skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Kongress remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Trends in logic 50 years of Studia Logica
Trends in logic 50 years of Studia Logica
Material Type:
Livro 		Adicionar ao Meu Espaço

Trends in logic 50 years of Studia Logica

Vincent F Hendricks; Jacek Malinowski

Dordrecht Kluwer Academic Publishers 2003

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

2
Sophisms in medieval logic and grammar acts of the Ninth European Symposium for Medieval Logic and Semantics, held at St. Andrews, June 1990
Sophisms in medieval logic and grammar acts of the Ninth European Symposium for Medieval Logic and Semantics, held at St. Andrews, June 1990
Material Type:
Livro 		Adicionar ao Meu Espaço

Sophisms in medieval logic and grammar acts of the Ninth European Symposium for Medieval Logic and Semantics, held at St. Andrews, June 1990

European Symposium on Medieval Logic and Semantics (9th 1990 St. Andrews, Scotland) Stephen Read 1947-

Dordrecht Kluwer Boston c1993

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (165.0902 S989a 1990 e.2 )(Acessar)

3
Advances in analysis, probability, and mathematical physics contributions of nonstandard analysis
Advances in analysis, probability, and mathematical physics contributions of nonstandard analysis
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in analysis, probability, and mathematical physics contributions of nonstandard analysis

Sergio Albeverio; W. A. J Luxemburg 1929; Manfred P. H Wolff 1939

Dordrecht Kluwer Academic Publishers Boston c1995

Localização: IME - Inst. Matemática e Estatística    (QA10.9.C A334a )(Acessar)

4
Functional and logic programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 proceedings
Functional and logic programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 proceedings

International Symposium on Functional and Logic Programming Yukiyoshi Kameyama; Peter J Stuckey

Berlin Springer New York 2004

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

5
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Lifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, Vladimir

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
6
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Baader, Franz Baader, Franz

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
7
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Baaz, Matthias ; Voronkov, Andrei Baaz, Matthias ; Voronkov, Andrei

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
8
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Armando, Alessandro Armando, Alessandro

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
9
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
10
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Hermenegildo, Manuel ; Puebla, German Puebla, Germán ; Hermenegildo, Manuel V.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
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é
Refinar
  1. Antes de1987  (8)
  2. 1987Até1993  (7)
  3. 1994Até1999  (40)
  4. 2000Até2006  (131)
  5. Após 2006  (66)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.