"Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings " - читать интересную книгу автора (Bertram Fronhöfer, Graham Wrightson)