サクサク読めて、アプリ限定の機能も多数!
順序数計算をACL2で実装 via http://www.citeulike.org/blog/hubris/8660
ytb のブックマーク 2009/12/03 09:41
ORDINALS.html -- ACL2 Version 3.6[計算機科学][logic] 順序数計算をACL2で実装 via <a href="http://www.citeulike.org/blog/hubris/8660" target="_blank" rel="noopener nofollow">http://www.citeulike.org/blog/hubris/8660</a>2009/12/03 09:41
順序数計算をACL2で実装 via <a href="http://www.citeulike.org/blog/hubris/8660" target="_blank" rel="noopener nofollow">http://www.citeulike.org/blog/hubris/8660</a>
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.cs.utexas.edu2009/12/03
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
順序数計算をACL2で実装 via http://www.citeulike.org/blog/hubris/8660
ytb のブックマーク 2009/12/03 09:41
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ORDINALS.html -- ACL2 Version 3.6
www.cs.utexas.edu2009/12/03
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /