Title

Higher order logic theorem proving and its applications

Title Supplement
6th International Workshop, HUG '93. Proceedings. Vancouver, B.C., Canada, August 11 - 13, 1993
Editor(s)
Seger, Carl-Johan H.
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1994
Series
Lecture Notes in Computer Science; 780
ISBN
3-540-57826-9
0-387-57826-9
Conference