skip to main content
Idioma:
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)

2
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings

Matthias Baaz; Johann A Makowsky 1948-; European Association for Computer Science Logic Conference Vienna University of Technology) 2003; Workshop on Computer Science Logic (17th 2003 Vienna University of Technology); Kurt Gödel Colloquium (8th 2003 Vienna University of Technology)

Berlin Springer New York c2003

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

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

Buscando em bases de dados remotas. Favor aguardar.