TY  - BOOK
AU  - Joyce,Jeffrey J.
AU  - Seger,Carl-Johan H.
TI  - Higher order logic theorem proving and its applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings 
SN  - 3540578269
AV  - QA76.9 A96 H54 1993
PY  - 1994///?
CY  - Berlin
PB  - Springer-Verlag
KW  - Automatic theorem proving
KW  - Congresses
N1  - Papers presented at the 1993 HOL User's Group Workshop
ER  -