bn:16627937n
Noun Concept
FR
No term available
EN
Algorithmic logic is a calculus of programs that allows the expression of semantic properties of programs by appropriate logical formulas. Wikipedia
Relations
Sources