"Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers " - читать интересную книгу автора (John A. Campbell, Eugenio Roanes-Lozano)