XBarnacle Making theorem provers more accessible_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
XBarnacle Making theorem provers more accessible
上传于|0|0|文档简介
&&XBarnacle was built to meet the challenge of incorporating interactive features in the automated theorem prover CLAM whilst preserving the advantages of automation. Many people are not able to use theorem provers to their full strength. The aim of our
阅读已结束，如果下载本文需要使用0下载券
想免费下载更多文档？
定制HR最喜欢的简历
下载文档到电脑，查找使用更方便
还剩1页未读，继续阅读
定制HR最喜欢的简历
你可能喜欢Crowdsourcing Is Social, but Does Not a Social Network Make: A Waze review | UX Magazine}