Ramsay A. Formal methods in artificial intelligence / A. Ramsay, 1988. - IX,279 p. p. - Текст : непосредственный.
Lecture notes in artificial intelligence : subser. of lecture notes in computer science / ed. R. Goebel [et al.]. 7557 : Artificial intelligence: methodology, systems, and applications : 15th intern. conf., AIMSA 2012, Varna, Bulgaria, Sept. 12-15, 2012: proc. / International conference on artificial intelligence: methodology, systems, and applications (15; 2012; Varna), 2012. - XII, 336 p. с. - Текст : непосредственный.