Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
Category:計算機科学における論理
ホーア論理
Hoare logic
後者関数
Successor function
前向き連鎖
Forward chaining
反ユニフィケーション
Anti-unification
Guarded Horn Clauses
ユニフィケーション
Unification (computer science)
表示的意味論
Denotational semantics
Prolog
Prolog
線形論理
Linear logic
直観主義型理論
Intuitionistic type theory
順序回路
Sequential logic
汎用ロジックIC
Logic family
論理回路
Logic gate
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter