Category:計算機科学における論理

Hoare logic

Denotational semantics

Intuitionistic type theory

Forward chaining

Anti-unification

Prolog

Sequential logic

Unification (computer science)

Linear logic

Successor function

Logic family

Logic gate