Report copyright / DMCA form for Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

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

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close