国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(2)
1990年代
(4)
2000年代
(3)
2010年代
(2)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(8)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
(1)
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(3)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(4)
紙
(7)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 11 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
高位ハードウェア設計記述に対する等価性判定手法の研究
高位ハードウェア設計記述に対する等価性判定手法の研究
紙
図書
浜口清治, 大阪大学 [著]
[浜口清治]
2004-2006
<Y151-H16500030>
国立国会図書館
件名
フォーマル検証 / 第一階
述語論理
/ 高位ハードウェア検証 / 充足可能性判定
不完全な知識のもとで概略解を得る推論技術の研究
不完全な知識のもとで概略解を得る推論技術の研究
紙
図書
石川勉, 拓殖大学 [著]
[石川勉]
2003-2006
<Y151-H15560351>
国立国会図書館
件名
推論メカニズム / 概念ベース /
述語論理
/ 順序ソート論理 / 常識知識 / 因果知識 / 知識表...
構成性を中間
述語論理
の観点から理解する
構成性を中間述語論理の観点から理解する
デジタル
文書・図像類
鈴木, 信行
2022-06-17
全国の図書館
件名
構成性,非古典論理
述語論理
disjunction property existenc...
知識の不完全性を許容した推論技術の研究
知識の不完全性を許容した推論技術の研究
紙
図書
石川, 勉, 拓殖大学
1999-2001
<Y151-H11650412>
国立国会図書館
件名
推論メカニズム 概念ベース
述語論理
常識推論 類似性判別 自由対話システム
概念スキーマモデル機能の試作
概念スキーマモデル機能の試作
紙
図書
穂鷹, 良介, 筑波大学
1994-1996
<Y151-H06558048>
国立国会図書館
件名
概念データモデル 概念スキーマモデル機能
述語論理
集合論
非古典
述語論理
のための代数的意味論の再構築
非古典述語論理のための代数的意味論の再構築
デジタル
文書・図像類
鈴木, 信行
静岡大学
2017-06-21
全国の図書館
件名
非古典論理 代数的意味論
述語論理
クリプキ意味論
マイクロプロセツサの形式的論理設計検証システムの試作研究
マイクロプロセツサの形式的論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1995-1996
<Y151-H07558155>
国立国会図書館
件名
形式的設計検証 機能レベル設計 時相論理 第一階
述語論理
モデルチエツキング 論理関数処理 二分決定グラフ
高階プログラミング言語で記述された大規模ソフトウェアの検証
高階プログラミング言語で記述された大規模ソフトウェアの検証
デジタル
文書・図像類
寺内, 多智弘
2017-05-31
科学研究費助成事業研究成果報告書
p.1-4
全国の図書館
件名
プログラム検証 モデル検査 高階関数
述語論理
型システム 抽象詳細化 時相論理
ぎんなみ商店街の事件簿 Sister編・Brother編 合本版
ぎんなみ商店街の事件簿 Sister編・Brother編 合本版
デジタル
図書
電子書籍・電子雑誌
井上真偽 著・文・その他
小学館
2023-12-08
全国の図書館
件名
パラレルミステリー 事件 捜査 探偵 推理 恋と禁忌の
述語論理
メフィスト賞 その可能性はすでに考えた 聖女の毒杯 その可...
流域を単位とした総合的な用水管理の手法に関する研究
流域を単位とした総合的な用水管理の手法に関する研究
紙
図書
中村, 良太, 東京大学
1989-1990
<Y151-S63460212>
国立国会図書館
件名
知識工学
述語論理
型言語 流出解析 メシユタンクモデル 送水波 非定常流解析 ...
知的情報処理における推論機構の研究
知的情報処理における推論機構の研究
紙
図書
高須, 達, 京都大学
1985-1987
<Y151-S60580024>
国立国会図書館
件名
プログラム合成 直観主義
述語論理
型論理 LISP プログラムの一般化 マルチウインドウシス...
検索結果は以上です。
書誌情報を一括出力