skip to main content
Devido a um problema temporário, o resultado pode estar incompleto.
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Axiomatizability in inclusive equational logics

Rou, Grigore

Mathematical Structures in Computer Science, 2002, Vol.12(5), pp.541-563 [Periódico revisado por pares]

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Order-enrichment for categories of partial maps

Fiore, Marcelo P

Mathematical Structures in Computer Science, 1995, Vol.5(4), pp.533-562 [Periódico revisado por pares]

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

RYDEHEARD, DAVID E. ; SANNELLA, DONALD T.

Formal Aspects of Computing, 2002, Vol.13(3), pp.187-193 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

An interactive semantics of logic programming

Bruni, Roberto; Montanari, Ugo; Rossi, Francesca

Theory and Practice of Logic Programming, 2001, Vol.1(6), pp.647-690 [Periódico revisado por pares]

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Category-based modularisation for equational logic programming

Diaconescu, Răzvan

Acta Informatica, 1996, Vol.33(5), pp.477-510 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Institution Morphisms

Goguen, Joseph ; Roşu, Grigore

Formal Aspects of Computing, 2002, Vol.13(3), pp.274-307 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers

Fiadeiro, José

Springer Berlin Heidelberg, Berlin, Heidelberg 1999

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Model of Migration and Use of Platforms: Role of Hierarchy, Current Generation, and Complementarities in Consumer Settings

Xu, Xin ; Venkatesh, Viswanath ; Tam, Kar Yan ; Hong, Se - Joon;

Management Science, 2010, Vol.56(8), p.1304-1323 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

progressiveMauve: Multiple Genome Alignment with Gene Gain, Loss and Rearrangement (Multiple Genome Alignment)

Darling, Aaron E ; Mau, Bob ; Perna, Nicole T Stajich, Jason E. (Editor)

PLoS ONE, 2010, Vol.5(6), p.e11147 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

More than modularity and metaphor: The power of preadaptation and access

Rozin, Paul

Behavioral and Brain Sciences, 2010, Vol.33(4), pp.290-291 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.659)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.558)
  2. Anais de Congresso  (898)
  3. Livros  (175)
  4. Verbetes  (16)
  5. Resenhas  (9)
  6. Book Chapters  (2)
  7. Relatórios Técnicos  (1)
  8. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.