80-30 プログラミング言語の公理的定義 : 理輪的評価 (予備報告)

スポンサーリンク

概要

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

著者

• 斉藤 康己

  Ntt 通研

• 斉藤 康己

  電電公社武蔵野通研

関連論文

• 87-7 計算機コーチのためのユーザモデル : ケース・スタディ
• Terry Winograd and Fernand Flores 著, "Understanding Computers and Cognition : A New Foundation for Design", ABLEX PUBLISHING CORPORATION, B5変形判, 207P., $24.95, 1986
• Jerry A.Fodor 著, "The Modularity of Mind : An Essay on Faculty Psychology", A Bradford Book, The MIT Press, A5判, 145p., \3,130, 1983
• 拡張可能な画面エディタEMACS (エディタ)
• Adele Goldberg, David Robson 著, "SMALLTALK-80 The Language and its Implementation", Addison-Wesley Publishing Company, B5変形判, 714p., \12,320, 1983
• 中島 秀之 著, "Prolog", 産業図書, B5判, 165p., \1,800, 1983
• 82-29 Common LISP 概観
• 81-38 EMACS拡張可能で, 細かい所に手が届き, 自分で自分を説明できる画面エディタ
• 80-31 非単調論理I
• 80-30 プログラミング言語の公理的定義 : 理輪的評価 (予備報告)
• 80-10 社会過程と定理の証明とプログラム

もっと見る 閉じる

スポンサーリンク