skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Labelled Deduction
Labelled Deduction
Material Type:
Livro
Adicionar ao Meu Espaço

Labelled Deduction

Dov M. Barwise, John Spurr, Jane Gabbay John Barwise; David Basin; M D'Agostino; Dov M Gabbay; Seán Matthews; Jane Spurr; Luca Viganò

Springer Netherlands 2000

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

2
Advances in artificial life 9th European conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in artificial life 9th European conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007 : proceedings

ECAL 2007 (2007 : Lisbon, Portugal) Fernando Almeida e Costa

Berlin Springer New York 2007

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (809 E19 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.