Theorem proving in higher order logics : 17. International conference, TPHOLs 2004 : Park City, Utah, USA, September 14-17, 2004 : Proceedings / Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)

• Record Nr.: UNISA990002959910203316
• Autore: International conference, TPHOLs 2004 : <17. ; : 2004
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2004
• ISBN: 3-540-23017-3
• Descrizione fisica: VIII, 336 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 3223
• Disciplina: 005.1
• Soggetti: Idrodinamica - Congressi - 2004; Elaboratori elettronici - Programmazione - Congressi - 2004
• Collocazione: 001 LNCS 3223
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia