A Programmer's View of Trusting Programs on Pure Mathematics

スポンサーリンク

概要

• 論文の詳細を見る
• 松山大学の論文
• 1999-02-01

著者

• 墨岡 学

  経営学部

関連論文

• ロンドン数学会においてアラン・マジソン・チューリングが1947年2月20日に行った講演の日本語訳と注解
• 無線LAN(IEEE規格802.11b)へのMS-Windows CEマシン接続について : ユビキュタス・コンピューティングの実現に向けて
• A Programmer's View of Trusting Programs on Pure Mathematics
• Turbo Pascalシステムの評価とPC-9801用グラフィックライブラリの例
• ペントミノパズルのプログラム

スポンサーリンク