Options
Title
Theorem proving in higher order logic
Title Supplement
10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997; proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1997
Series
Lecture Notes in Computer Science; 1275
ISBN
3-540-63379-0