Anejos de la revista Segismundo

• Record Nr.: UNISOBSOBE00044490
• Pubbl/distr/stampa: Madrid : Consejo superior de investigaciones científicas
• Lingua di pubblicazione: Non definito
• Formato: Materiale a stampa
• Livello bibliografico: Collezione

Higher order logic theorem proving and its applications : 6. international workshop, HUG '93 : Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan Seger (eds.)

• Record Nr.: UNISANNIOAQ10006632
• Pubbl/distr/stampa: Berlin [etc.], : Springer, c1994
• ISBN: 0387578269; 3540578269
• Descrizione fisica: IX, 517 p. ; 24 cm
• Collana: Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 780
• Disciplina: 004.015113
• Collocazione: COLL. ING. LNCS
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Nella pref.: HOL user's group workshop