Formalized mathematics : a computer assisted approach

この本の情報

書名 Formalized mathematics : a computer assisted approach
著作者等 Université catholique de Louvain
Uniwersytet w Białymstoku
出版元 University of Białystok
ページ数 v.
大きさ 24 cm
ISSN 14262630
NCID AA11993553
※クリックでCiNii Booksを表示
言語 英語
出版国 ポーランド
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想