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
Mostrar Somente
Refinado por: tipo de recurso: Resenhas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic Column 18: Alternative Logics: A Book Review
Material Type:
Resenha
Adicionar ao Meu Espaço

Logic Column 18: Alternative Logics: A Book Review

Pucella, Riccardo

arXiv.org, 2007

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

2
Linear Logic in Computer Science
Material Type:
Resenha
Adicionar ao Meu Espaço

Linear Logic in Computer Science

Andrzej S. Murawski

The Bulletin of Symbolic Logic, 2006, Vol.12 (2), p.297-299 [Periódico revisado por pares]

Association for Symbolic Logic

Texto completo disponível

3
Book review "The Haskell Road to Logic, Maths and Programming"
Material Type:
Resenha
Adicionar ao Meu Espaço

Book review "The Haskell Road to Logic, Maths and Programming"

Laemmel, Ralf

2005

Texto completo disponível

4
Logic in computer science; proceedings
Material Type:
Resenha
Adicionar ao Meu Espaço

Logic in computer science; proceedings

Scitech Book News, 2009, Vol.33 (4)

Portland: Copyright Clearance Center

Texto completo disponível

5
Linear logic in computer science
Material Type:
Resenha
Adicionar ao Meu Espaço

Linear logic in computer science

Scitech Book News, 2005, Vol.29 (4)

Portland: Copyright Clearance Center

Texto completo disponível

6
Logic in computer science; proceedings
Material Type:
Resenha
Adicionar ao Meu Espaço

Logic in computer science; proceedings

Scitech Book News, 2003, Vol.27 (3)

Portland: Copyright Clearance Center

Texto completo disponível

7
Logic in Computer Science: Modelling and Reasoning about Systems
Material Type:
Resenha
Adicionar ao Meu Espaço

Logic in Computer Science: Modelling and Reasoning about Systems

Goranko, Valentin

Journal of Logic, Language, and Information, 2007, Vol.16 (1), p.117-120 [Periódico revisado por pares]

Springer

Texto completo disponível

8
Logic in computer science (LICS 2005); proceedings
Material Type:
Resenha
Adicionar ao Meu Espaço

Logic in computer science (LICS 2005); proceedings

Scitech Book News, 2005, Vol.29 (3)

Portland: Copyright Clearance Center

Texto completo disponível

9
Logic in computer science (LICS 2004); proceedings
Material Type:
Resenha
Adicionar ao Meu Espaço

Logic in computer science (LICS 2004); proceedings

Scitech Book News, 2004, Vol.28 (3)

Portland: Copyright Clearance Center

Texto completo disponível

10
Temporal Logics in Computer Science — Finite-State Systems
Material Type:
Resenha
Adicionar ao Meu Espaço

Temporal Logics in Computer Science — Finite-State Systems

Pinchinat, Sophie

Studia Logica: An International Journal for Symbolic Logic, 2019, Vol.107 (5), p.1083-1088 [Periódico revisado por pares]

Springer

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (12.042)
  2. Revistas revisadas por pares (7.144)

Data de Publicação 

De até
  1. Antes de1966  (62)
  2. 1966Até1979  (315)
  3. 1980Até1993  (929)
  4. 1994Até2008  (5.994)
  5. Após 2008  (4.788)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (12.024)
  2. Alemão  (45)
  3. Espanhol  (19)
  4. Português  (17)
  5. Francês  (6)
  6. Japonês  (4)
  7. Indeterminado  (4)
  8. Italiano  (3)
  9. Polonês  (1)
  10. Holandês  (1)
  11. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Universidade Estadual De Campinas
  2. Silva, A
  3. Frezatti, F
  4. Corpo Editorial
  5. Santos, R

Buscando em bases de dados remotas. Favor aguardar.