Mechanized Mathematics and Its Applications, Vol.1, No.1 (2000)

admin (2018年2月28日 16:51) | コメント(0) | トラックバック(0)
Mechanized Mathematics and Its Applications (MMA) について，Permalink URL による論文PDF公開を開始しました．

カテゴリ:

タグ:

トラックバック(0)

トラックバックURL: http://mizar-jp.org/mt/cgi-bin/mt-tb.cgi/9

コメントする

このブログ記事について

このページは、adminが2018年2月28日 16:51に書いたブログ記事です。

ひとつ前のブログ記事は「Formalized Mathematics Volume 25, Issue 2 (Jul 2017)」です。

次のブログ記事は「Latest Mizar releases (version 8.1.08, MML 5.50.1318)」です。

最近のコンテンツはインデックスページで見られます。過去に書かれたものはアーカイブのページで見られます。