关注微信公众号查券更方便
【4周达】Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Ne... [9783642228629]