Properties preserved under recursion removal.

H. Raymond Strong S. A. Walker

Published in: Proving Assertions About Programs (1972)

Keyphrases

artificial intelligence
decision making
real time
machine learning
website
wide range
expert systems
special case