"Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, " - читать интересную книгу автора (Geoff Sutcliffe, Andrei Voronkov)