Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
1960
Este libro fundamental introduce las funciones recursivas de las expresiones simbólicas y su computación mediante máquinas, estableciendo principios teóricos en el campo de la inteligencia artificial y la programación funcional.














