computational logic

/K AA0 M P Y UW0 T EY1 SH AH0 N AH0 L AA0 JH IH0 K/
N
  1. 1

    the use of logic to perform or reason about computation.