top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Kurt Gödel Colloquium (3 ; 1993 ; Brno)
ID:
714540
Opere
Altre forme del nome
Kurt Gödel Colloquium (3 ; 1993 ; Brno)
Kurt Gödel Colloquium (3. : 1993 : Brno, Česko)
Kurt Godel Colloquium <3. ; 1993 ; Brno>
Seleziona tutte
Deseleziona
Computational logic and proof theory
...