00762cam a2200181 a 450000500170000000800410001702000150005803500150007305000250008824502090011326000380032230000110036044000490037150000590042065000420047970000280052170000310054920260818133543.0080624q1994    gw      r     000|0 eng |  a3540578269  a.b1033170000aQA76.9 A96bH54 199300aHigher order logic theorem proving and its applications :b6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /cJeffrey J. Joyce and Carl-Johan H. Seger (eds.)  aBerlin :bSpringer-Verlag,c1994?  a517 p. 0aLecture notes in computer science ;vno. 780  aPapers presented at the 1993 HOL User's Group Workshop 0aAutomatic theorem provingvCongresses1 aJoyce, Jeffrey J.,eed.1 aSeger, Carl-Johan H.,eed.