文献
J-GLOBAL ID：200902235151275663   整理番号：05A0970046

情報と依存関係の論理

著者 (1件)：
小林聡

小林聡 について

(京都産大 理)

京都産大 理 について


資料名：
日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))

日本ソフトウェア科学会大会講演論文集(CD-ROM) について


巻： 21st  ページ： 4D-3  発行年： 2004年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
「xの値を知っている」を意味する述語D(x)を持ち,情報の隠...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*述語論理

述語論理 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Kripke意味論

Kripke意味論 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0970046&from=J-GLOBAL&jstjournalNo=X0080B") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
論理代数 
(JB03000H)

論理代数 について

,  計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
依存関係

依存関係 について

, 
論理

論理 について


前のページに戻る

TOP

BOTTOM