Литература
1\. Bessmertny I. A. , Katerinenko R. S. The method of acceleration of logical inference in production knowledge model // Programming and Computer Software . - Springer , 2011 . - V. 37 . - № 4 . - P. 197-199 . 2\. Бессмертный И. А. Теоретико-множественный подход к логическому выводу в базах знаний // Научно-технический вестник СПбГУ ИТМО . 2010 . - № 2 ( 66 ) . - С. 43-48 . 3\. Бессмертный И. А. Быстрый логический вывод в среде программирования Visual Prolog // Научно-технический вестник СПбГУ ИТМО . - 2010 . - № 3 ( 67 ) . - С. 50-56 . 4\. Iwaihara M. , Inoue Y. Bottom-up Evaluation of Logic Programs Using Binary Decision Diagrams // Proc. 11th Int. Conf. Data Engineering . - Taipei , Taiwan , Mar. 1995 . - P. 467-474 . 5\. Bryant R. Graph-based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers . - August 1986 . - V. 35 . - № 8 . - P. 677-691 . 6\. Andersen H. R. An Introduction to Binary Decision Diagrams // Lecture notes for Advanced Algorithms . -Lyngby , Denmark , 1997 . - P. 1-37 .
Литература 1\. Bessmertny I. A. , Katerinenko R. S. The method of acceleration of logical inference in production knowledge model // Programming and Computer Software .
Литература 1\. Bessmertny I. A. , Katerinenko R. S. The method of acceleration of logical inference in production knowledge model // Programming and Computer Software . - Springer , 2011 . - V. 37 . - № 4 . - P. 197-199 . 2\. Бессмертный И. А. Теоретико-множественный подход к логическому выводу в базах знаний // Научно-технический вестник СПбГУ ИТМО . 2010 . - № 2 ( 66 ) . - С. 43-48 . 3\. Бессмертный И. А. Быстрый логический вывод в среде программирования Visual Prolog // Научно-технический вестник СПбГУ ИТМО . - 2010 . - № 3 ( 67 ) . - С. 50-56 . 4\. Iwaihara M. , Inoue Y. Bottom-up Evaluation of Logic Programs Using Binary Decision Diagrams // Proc. 11th Int. Conf. Data Engineering . - Taipei , Taiwan , Mar. 1995 . - P. 467-474 . 5\. Bryant R. Graph-based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers . - August 1986 . - V. 35 . - № 8 . - P. 677-691 . 6\. Andersen H. R. An Introduction to Binary Decision Diagrams // Lecture notes for Advanced Algorithms . -Lyngby , Denmark , 1997 . - P. 1-37 .