Automath : a language for mathematics

Web Site CiNii 所蔵館 29館

書誌事項

タイトル
"Automath : a language for mathematics"
責任表示
par Nicolaas Govert de Bruijn
出版者
  • Les Presses de L'Université de Montréal
出版年月
  • 1973
書籍サイズ
28 cm

この図書・雑誌をさがす

注記

At head of title: Université de Montréal--Département de Mathématiques

"Notes du cours donné ... à la dixième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1971."

Bibliography: leaves [56]-58

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ