Describir: AI and expertise : heuristic search, inference engines, automatic proving / Henri Farreny ; translator, Jonathan Barchan.