Theorem proving in higher order logics : 11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings / Jim Grundy , Malcolm Newey (eds.)

• Record Nr.: UNISA990000209850203316
• Autore: International conference TPHOLs'98 : 11. : 1998
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1998
• ISBN: 3-540-64987-5
• Descrizione fisica: VIII, 496 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 1479
• Disciplina: 0040151
• Collocazione: 001 LNCS (1479)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia