Higher order logic theorem provingand its applications : 6th International workshop HUG'93 : Vancouver, B. C., Canada, August 11-13, 1993 ; proceedings / Jeffrey J. Joyce (ed.)

• Record Nr.: UNISA990000204570203316
• Autore: International workshop HUG'93 : 6. : 1993
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1993
• ISBN: 3-540-57826-9
• Descrizione fisica: IX, 517 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 780
• Disciplina: 0051
• Collocazione: 001 LNCS (780)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia