Thirty five years of automating mathematics

CiNii 所蔵館 3館

書誌事項

タイトル
"Thirty five years of automating mathematics"
責任表示
edited by Fairouz D. Kamareddine
出版者
  • Kluwer Academic
出版年月
  • c2003
書籍サイズ
25 cm
タイトル別名
  • 35 years of automating mathematics

この図書・雑誌をさがす

注記

This book dedicated to 35 years of de Bruijn's Automath

Includes photo of N.G. de Bruijn

Includes bibliographical references and index

関連図書・雑誌

もっと見る

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

ページトップへ