Formalized mathematics : a computer assisted approach
著者
書誌事項
Formalized mathematics : a computer assisted approach
University of Bialystok
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Description based on: Vol. 11, no. 1/2 (2003)
"Established in 1990"
"In the years 1990-1993 published by the Universite Catholique de Louvain"