"Artificial intelligence and symbolic computation" - читать интересную книгу автора (Bruno Buchberger, John A. Campbell)