skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Abramsky, S remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Basic proof theory
Basic proof theory
Basic proof theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Basic proof theory

Anne Sjerp Troelstra H Schwichtenberg; Helmut Schwichtenberg; A. S Troelstra; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 2000

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

2
Uncertain Reasoner's Companion: A Mathematical Perspective
Uncertain Reasoner's Companion: A Mathematical Perspective
Material Type:
Livro 		Adicionar ao Meu Espaço

Uncertain Reasoner's Companion: A Mathematical Perspective

J. B. Paris S Abramsky; P. H Aczel; Y Gurevich; J. V Tucker

Cambridge Cambridge University Press 1995

Acesso online

3
Updating Logical Databases
Updating Logical Databases
Material Type:
Livro 		Adicionar ao Meu Espaço

Updating Logical Databases

Marianne Winslett S Abramsky; P. H Aczel; Y Gurevich; J. V Tucker

Cambridge Cambridge University Press 1990

Acesso online

4
Information Flow: The Logic of Distributed Systems
Information Flow: The Logic of Distributed Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Information Flow: The Logic of Distributed Systems

Jon Seligman, Jerry Bakker, J. W. de Barwise Jon Barwise; Jerry Seligman; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 1997

Acesso online

5
Domains and Lambda-Calculi
Domains and Lambda-Calculi
Material Type:
Livro 		Adicionar ao Meu Espaço

Domains and Lambda-Calculi

Roberto M. Curien, Pierre-Louis Bakker, J. W. de Amadio Roberto M Amadio; Pierre-Louis Curien; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 1998

Acesso online

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (1)

Refinar Meus Resultados

Assunto 

  1. Lógica Matemática  (1)
  2. Teoria Da Demonstração  (1)
  3. Proof Theory  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Aczel, P
  2. Abramsky, S
  3. Tucker, J
  4. Gurevich, Y
  5. Bakker, J

Neste Assunto:

  1. Lógica Matemática
  2. Teoria Da Demonstração
  3. Proof Theory

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

Buscando em bases de dados remotas. Favor aguardar.