computational logic

use of logic to perform or reason about computation

카테고리: