skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover assunto: Logic, Symbolic And Mathematical remover autor: Gottlob, G remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium (5th 1997 Vienna, Austria) G Gottlob (Georg); Alexander Leitsch 1952-; Daniele Mundici 1946-; Kurt Gödel Society; Colloquium on Computational Logic and Proof Theory (5. 1997 Vienna, AT)

Berlin New York Springer c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1289 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.