Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.

Richard Statman Henk Barendregt

Published in: Processes, Terms and Cycles (2005)

Keyphrases

management system
complex systems
data structure
expert systems
software development
computer systems
real world
genetic algorithm
search engine
case study
special case
knowledge based systems
retrieval systems
embedded systems