TY  - BOOK
AU  - Melham T F
ED  - International Workshop on Higher Order Logic Theorem( 7th : 1994 : Malta )
ED  - International Workshop on Higher Order Logic Theorem 7th
TI  - Higher order logic theorem : proceedings
U1  - 5.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Higher order logic
ER  -