Options
Title
Theorem proving in higher order logics
Title Supplement
12th International conference, TPHOLs '99, Nice, France, September 14-17, 1999 ; proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1999
Series
Lecture Notes in Computer Science; 1690
ISBN
3-540-66463-7