toIPA
Home
Blog
Category
Computational logic
use of logic to perform or reason about computation
Pronunciation
/kɒmpjʊˈteɪʃənəl ˈlɒʤɪk/
/ˌkɑmpjəˈteɪʃənəl ˈlɑʤɪk/
Categories
automated reasoning
logic