1.
Record Nr.
UNISA990000211060203316
Titolo
Higher order logic theorem provingand its applications : 8th International workshop : AspenGrove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert ... [etc.] (eds.)
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