Title

Theorem proving in higher order logics.20th international conference, TPHOLs 2007

Title Supplement
Kaiserslautern, Germany, September 10 - 13, 2007
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2007
Series
Lecture Notes in Computer Science; 4732
ISBN
978-3-540-74591-4
3-540-74590-4
Conference