「一階述語論理」に関連した文献の一覧

アリストテレス式三段論法の一階述語論理に関する完全性 ― NDL雑誌記事索引

金井 範夫 駿河台出版社 / 日本科学哲学会 編

一階述語論理とニューラルネットワークに基づく料理知識検索システムとそのコンピュータ実装技術 =Design and implementation of cooking-knowledge retrieval system on first-rank predicate logics and neural network ― NDL雑誌記事索引

長谷川 信 磯本 征雄 岐阜聖徳学園大学経済情報学部紀要委員会 / 岐阜聖徳学園大学経済情報学部紀要委員会 編

線形不等式を対象とした一階述語論理の限定記号消去の計算 =Computation of quantifier elimination of linear inequlities of first order predicate logic (extended abstract) (コンピュテーション) ― NDL雑誌記事索引

小野 祐貴 山根 智 電子情報通信学会

第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定 (組込技術とネットワークに関するワークショップ) ― NDL雑誌記事索引

小澤 弘明 浜口 清治 柏原 敏伸 電子情報通信学会

第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定 (組込技術とネットワークに関するワークショップ) ― NDL雑誌記事索引

小澤 弘明 浜口 清治 柏原 敏伸 情報処理学会

第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法 ― NDL雑誌記事索引

森友 淳史 浜口 清治 柏原 敏伸 情報処理学会

第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法 ― NDL雑誌記事索引

森友 淳史 浜口 清治 柏原 敏伸 電子情報通信学会

第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法 ― NDL雑誌記事索引

森友 淳史 浜口 清治 柏原 敏伸 電子情報通信学会

第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法 ― NDL雑誌記事索引

森友 淳史 浜口 清治 柏原 敏伸 電子情報通信学会

第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム =Approximate model checking for a subset of first-order logic (ディペンダブルコンピューティング) ― NDL雑誌記事索引

増田 和也 浜口 清治 柏原 敏伸 電子情報通信学会

第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム =Approximate model checking for a subset of first-order logic (VLSI設計技術) ― NDL雑誌記事索引

増田 和也 浜口 清治 柏原 敏伸 電子情報通信学会

第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム =An approximate invariant property checking using term-height reduction for a subset of first-order logic (システムLSI設計技術・デザインガイア2007--VLSI設計の新しい大地を考える研究会) ― NDL雑誌記事索引

清水 博章 浜口 清治 柏原 敏伸 情報処理学会

第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム =An approximate invariant property checking using term-height reduction for a subset of first-order logic (ディペンダブルコンピューティング) ― NDL雑誌記事索引

清水 博章 浜口 清治 柏原 敏伸 電子情報通信学会

第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム =An approximate invariant property checking using term-height reduction for a subset of first-order logic (VLSI設計技術) ― NDL雑誌記事索引

清水 博章 浜口 清治 柏原 敏伸 電子情報通信学会

強い否定と古典論理の否定をもつ一階述語論理 =Classical first-order logic with strong negation and classical negation ― NDL雑誌記事索引

兼岩 憲 電子情報通信学会情報・システムソサイエティ / 電子情報通信学会 編

同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定 ― NDL雑誌記事索引

小澤 弘明 浜口 清治 柏原 敏伸 電子情報通信学会

同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定 ― NDL雑誌記事索引

小澤 弘明 浜口 清治 柏原 敏伸 情報処理学会

同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定 ― NDL雑誌記事索引

小澤 弘明 浜口 清治 柏原 敏伸 電子情報通信学会

ファジィ集合論と一階述語論理によるe-Learningの数理モデル =Theoretical model of e-learning in fuzzy set theory and first rank predicate logics ― NDL雑誌記事索引

磯本 征雄 Alieu Dumbuya 岐阜聖徳学園大学経済情報学部紀要委員会 / 岐阜聖徳学園大学経済情報学部紀要委員会 編

様相述語体系の一階述語論理への埋め込みについて ― NDL雑誌記事索引

三浦 聡 駿河台出版社 / 日本科学哲学会 編

関連キーワードの意味を調べる

岐阜聖徳学園大学、 電子情報通信学会、 情報処理学会、 経済情報学部、 システム、 科学哲学、 ソサイ、 出版社、 委員会、 長谷川、 駿河台