91-9 労せずして定理を!

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1991-04-15

著者

• 大竹 和雄

  日本電気(株)

関連論文

• オブジェクト指向言語のための代入を持つ計算系と同一性
• 本質的に多相的な関数とその型の表現について
• ASN.1からプログラムを自動生成するツール
• プロトコルにおけるフォーマット変換の形式的記述法
• 91-9 労せずして定理を!

スポンサーリンク