Artificial intelligence: Its scope and limits - Fetzer, James H (Dordrecht: Kluwer Academic Publishers, 1990)
Keywords: Artificial intelligence; Nature knowledge; Program verification