Links

Tools

Export citation

Search in Google Scholar

Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Published in 2010 by Matt Kaufmann, Lawrence C. Paulson
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Full text: Unavailable

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload