Computational logic and proof theory : 5th Kurt Godel colloquim, KGC'97 :Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob ... [et al.] (eds.)

• Record Nr.: UNISA990000206060203316
• Autore: Kurt Godel colloquim KGC'97 : 5. : 1997
• Pubbl/distr/stampa: Berlino : Springer-Verlag, copyr. 1997
• ISBN: 3-540-63385-5
• Descrizione fisica: VII, 348 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1289
• Disciplina: 0051
• Collocazione: 001 LNCS (1289)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia