computational logic (Q5157327)
use of logic to perform or reason about computation
Language:
other details
description use of logic to perform or reason about computation

External Links