6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings Joyce, Jeffrey J. ed. Seger, Carl-Johan H. ed. text gw Berlin Springer-Verlag 1994? 1994 1994 monographic eng 517 p. Jeffrey J. Joyce and Carl-Johan H. Seger (eds.) Papers presented at the 1993 HOL User's Group Workshop Automatic theorem proving Congresses QA76.9 A96 H54 1993 3540578269 080624 20260818133543.0