Step by recursive step: Church's analysis of effective calculability.

Published in: Bull. Symb. Log. (1997)

Keyphrases

database
preprocessing step
three dimensional
wide range
relational databases
post processing
cost effective
quantitative analysis
automatic analysis
data sets
social networks
high level
search algorithm
preprocessing