Book

Problem-solving methods in artificial intelligence

by Nilsson, Nils J.