TY  - BOOK
AU  - Joyce J J
ED  - International Workshop on Higher Order Logic Theorem( 6th : 1993 : Canada )
ED  - International Workshop on Higher Order Logic Theorem 6th
TI  - Higher order logic theorem proving and its applications : proceedings
SN  - 0-387-57826-9
U1  - 5.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Higher order logic
ER  -