Report copyright / DMCA form for Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Please fill this form as much details as possible, we will respond to your request within 2 to 3 business days.

Or you can send us a mail at:

John S. Harris
[email protected]
3501 Jack Northrop Ave
Suite #AHA340
Hawthorne, CA 90250
USA