Higher order logic theorem provingand its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham (ed.)

• Record Nr.: UNISA990000204850203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1994
• ISBN: 3-540-58450-1
• Descrizione fisica: IX, 470 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 859
• Disciplina: 0051
• Collocazione: 001 LNCS (859)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia