Logic of effective definitions.

Jan A. Bergstra Jerzy Tiuryn

Published in: Fundam. Informaticae (1981)

Keyphrases

computationally efficient
clustering algorithm
search algorithm
cost effective
decision making
e learning
automated reasoning