Computational intelligence a logical approach - Poole, David; Mackworth, Alan; Goebel, Randy (New York Oxford University Press, 1998)
Keywords: Artificial intelligence