computational logic (Q5157327)
Jump to navigation
Jump to search
use of logic to perform or reason about computation
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | computational logic |
use of logic to perform or reason about computation |
Statements
Identifiers
Computational Logic and Formal Languages
1 reference
Sitelinks
Wikipedia(6 entries)
- cawiki Lògica computacional
- enwiki Computational logic
- eowiki Komputa logiko
- eswiki Lógica computacional
- euwiki Logika konputazional
- ptwiki Lógica computacional