skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From logic to logic programming
From logic to logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

From logic to logic programming

Kees Doets

Cambridge Mit Press 1994

Localização: IME - Inst. Matemática e Estatística    (QA754 D653f e.2 )(Acessar)

2
Basic model theory
Basic model theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Basic model theory

Kees Doets

Stanford, Calif. CLSI Publications Dordrecht? FoLLI c1996

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.67 D675b )(Acessar)

3
The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
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)

4
Structures and Norms in Science
Structures and Norms in Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Structures and Norms in Science

Jaakko Davidson, Donald Benthem, Johan van Hintikka Kees Doets; Daniele Mundici; Johan van Benthem

Springer Netherlands 1997

Acesso online

5
Logic and Scientific Methods
Logic and Scientific Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and Scientific Methods

Jaakko van Dalen, Dirk Davidson, Donald Benthem, Johan van Hintikka Kees Doets; Daniele Mundici; Johan van Benthem

Springer Netherlands 1997

Acesso online

6
Metabolic cost and external mechanical work of walking after total ankle arthroplasty
Metabolic cost and external mechanical work of walking after total ankle arthroplasty
Material Type:
Artigo 		Adicionar ao Meu Espaço

Metabolic cost and external mechanical work of walking after total ankle arthroplasty

Houdijk, H. ; Vergouw, D. ; Doets, K. ; Veeger, D.

Journal of biomechanics, 2006, Vol.39, p.S107-S107 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
7
Socket wear in ceramic-on-polyethylene total hip arthroplasties Fixed versus rotating heads
Socket wear in ceramic-on-polyethylene total hip arthroplasties Fixed versus rotating heads
Material Type:
Artigo 		Adicionar ao Meu Espaço

Socket wear in ceramic-on-polyethylene total hip arthroplasties Fixed versus rotating heads

Vis, Harm M van der ; Zwartelé, Rob ; Schüller, Hans M ; Doets, H Kees ; Marti, Rene K

Acta orthopaedica, 1998, Vol.69 (3), p.248-252 [Periódico revisado por pares]

Basingstoke: Informa UK Ltd

Texto completo disponível

Citações Citado por
8
A slight strengthening of a theorem of Blair and Kunen
A slight strengthening of a theorem of Blair and Kunen
Material Type:
Artigo 		Adicionar ao Meu Espaço

A slight strengthening of a theorem of Blair and Kunen

Doets, Kees

Theoretical computer science, 1992-04, Vol.97 (1), p.175-181 [Periódico revisado por pares]

AMSTERDAM: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Axiomatizing Universal Properties of Quantifiers
Axiomatizing Universal Properties of Quantifiers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Axiomatizing Universal Properties of Quantifiers

Doets, Kees

The Journal of symbolic logic, 1991-09, Vol.56 (3), p.901-905 [Periódico revisado por pares]

Pasadena, CA: Association for Symbolic Logic, Inc

Texto completo disponível

Citações Citado por
10
Axiomatizing universal properties of quantifiers
Axiomatizing universal properties of quantifiers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Axiomatizing universal properties of quantifiers

Doets, Kees

The Journal of symbolic logic, 1991-09, Vol.56 (3), p.901-905 [Periódico revisado por pares]

New York, USA: Cambridge University Press

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (47)
  2. Livros  (7)
  3. Anais de Congresso  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (5)
  2. 1992Até1997  (11)
  3. 1998Até2011  (11)
  4. 2012Até2017  (12)
  5. Após 2017  (21)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (54)
  2. Japonês  (8)
  3. Russo  (3)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Doets, K
  2. Mundici, D
  3. van Benthem, J
  4. Hintikka, J
  5. Benthem, J

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Clinical Neurology
  5. Physical Sciences

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

Buscando em bases de dados remotas. Favor aguardar.