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