Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /

Bibliographic Details
Corporate Author:	HOL User's Group Workshop
Other Authors:	Joyce, Jeffrey J., 1960-, Seger, Carl-Johan H.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1994]
Series:	Lecture notes in computer science ; 780.
Subjects:	Automatic theorem proving > Congresses.

Remote Storage