Higher order logic theorem provingand its applications : 8th International workshop : AspenGrove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert ... [etc.] (eds.)

• Record Nr.: UNISA990000211060203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1995
• ISBN: 3-540-60275-5
• Descrizione fisica: VIII, 400 p. : ill. ; 25 cm
• Collana: Lecture notes in computer science ; 971
• Disciplina: 0051
• Collocazione: 001 LNCS (971)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia