論理と関数
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1982-11-15
著者
関連論文
- 柔らかな論理をめざして
- LISP におけるインタプリタとコンパイラとの関係
- 知は相互作用に宿る : IJCAI-97に期待する
- 超情報化時代の到来
- トポソイドモデルの提案 : 情報処理の新パラダイムを求めて ( 情報処理最前線)
- 混沌, カオス, そして空
- 新ソフトウェア構造化モデルプロジェクトの概要
- E234 コンピュータと教育
- 人工知能
- 論理と関数
- マルチプロセッサスーパコンピュータPHIの研究開発 スーパコンピュータプロジェクトの成果概要 (マルチプロセッサスーパコンピュータPHIの研究開発)
- 82-21 節行列表示による結合グラフ・リゾリューション
- 80-26 非決定的並列システムの仕様記述
- 80-25 並行・非決定性プログラムの様相論理
- 80-24 並列プログラムの指示意味論
- 80-04 モンタギュー文法と使役的意味合いを含む動詞の語彙分解
- 非単調関数を含む自己適用可能な関数領域
- Prologの意味論--意味記述の新しい可能性