Theorem proving in higher order logics : 12th International conference, TPHOLs '99 : Nice, France, September 14-17, 1999 : Proceedings / Yves Bertot ... [et al.] (eds.)

• Record Nr.: UNISA990000209110203316
• Autore: International conference TPHOLs '99 : 12. : 1999
• Pubbl/distr/stampa: Berlin : Springer-Verlag, copyr. 1999
• ISBN: 3-540-66463-7
• Descrizione fisica: VIII, 358 p. : ill. ; 22 cm
• Collana: Lecture notes in computer science ; 1690
• Disciplina: 0040151
• Collocazione: 001 LNCS (1690)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia