Computational logic
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science".
academic discipline
field
Wikipage redirect
differentFrom
primaryTopic
Computational logic
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science".
has abstract
Computational logic is the use ...... ame its first Editor-in-Chief.
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
656,696,021
subject
hypernym
type
comment
Computational logic is the use ...... h "logic in computer science".
@en
label
Computational logic
@en