2010年12月3日金曜日

LINQ to Z3、世界最速の定理証明器

http://www.infoq.com/jp/news/2010/12/LINQ-Z3


で、Z3ってなんなのだろうか、さっぱりわからん



Posted by

0 件のコメント:

コメントを投稿

登録: コメントの投稿 (Atom)