• Dom
  • computational logic

computational logic

use of logic to perform or reason about computation

en-US/ˌkɑmpjuˈteɪʃənəl ˈlɑd͡ʒɪk/
en-GB/ˌkɒmpjʊˈteɪʃənl ˈlɒd͡ʒɪk/

Kategorie:

automated reasoninglogic