Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger, eds.

Other author Joyce, Jeffrey J., 1960-
Other author Seger, Carl-Johan H.
Other author HOL User's Group Workshop 1993 : Vancouver, B. C.)
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1994.
Descriptionix, 517 pages : illustrations ; 24 cm.
Subjects
Automatic theorem proving--Congresses.

SeriesLecture notes in computer science ; 780
Lecture notes in computer science 780. ^A466336
General notePapers presented at the 1993 HOL User's Group Workshop.
General noteIncludes index.
LCCN 94001560
ISBN3540578269 (Berlin : acid-free paper) :
ISBN0387578269 (New York : acid-free paper)