Ontify
⌘
S
⌘
S
Share
Computational Logic
Use of logic to perform or reason about computation.
Wikipedia | Computational Logic
Statements about
Computational Logic
Subclass Of
Said to Be the Same As
Logic in Computer Science
Logic
Automated Reasoning
