Computational logic and proof theory : 3. Kurt Godel Colloquium, KGC '93 : Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

• Record Nr.: UNISANNIOAQ10002365
• Autore: Kurt Godel Colloquium : <3. : ; 1993
• Pubbl/distr/stampa: Berlin [etc.], : Springer, 1993
• ISBN: 0387571841; 3540571841
• Descrizione fisica: XI,348 p. ; 25 cm
• Collana: Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 713
• Disciplina: 511.3
• Soggetti: Logica matematica - Congressi - 1993
• Collocazione: COLL. ING. LNCS
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia