The handbook of artificial intelligence - Barr, Avron; Cohen, Paul R.; Feigeubaum, Edward A. (New York : Addison-Wesley, 1989)
Includes index.
Bibliography : p.583-622
Keywords: Artificial intelligence; Logic, Symbolic and mathematical; Problem solving; Programming (Electronic computers); Systems engineering