特集「プログラミング言語 Prolog」の編集にあたって

スポンサーリンク

概要

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

著者

• 永田 守男

  慶應大学理工学部管理工学科

• 山田 真市

  日本ユニバック(株)技術企画部

• 疋田 輝雄

  東京都立大学理学部

• 疋田 輝雄

  東京都立大学理学部数学科

関連論文

• 業務フローとソフトウェア仕様(パネル)
• 特集「プログラミング言語 Prolog」の編集にあたって
• 知能ソフト工学コンソーシアム95年度の活動報告
• 特集「日本のソフトウェアの草創期」の編集にあたって
• 遅延つき関数の完全性 (多値論理およびその応用)
• 小特集「プログラミング言語 : PascalとAda」の編集にあたって
• コンビネータによる言語処理系
• 19. 再帰呼出しの実現法 (アルゴリズムの最近の動向)
• Listing Subtrees of a Binary Tree (形式言語理論とオートマトン理論)
• Pascal総説 (プログラミング言語 : PascalとAda)
• On a Class of Recursive Procedures and Equivalent Iterative Ones (情報科学の数学的基礎理論と応用)
• Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)
• 偏微分方程式に関する問題解決のため数式処理と数値計算を組み合わせたシステム(数式処理と数学研究への応用)

もっと見る 閉じる

スポンサーリンク