Artificial and mathematical theory of computation papers in honor of John McCarthy - Lifschitz, Vladimir [ed.] (Boston Academic Press, 1991)
Keywords: Artificial intelligence; Numerical calculations