Books of Lawrence C. Paulson (eds.)

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

Published on: 2010

Unordered Logic and Foundations English

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, …

theorem proving interactive conference proceedings

Page of