|  | Федорук В. Г. (Владимир Геннадьевич) | 
                    
                |  | Исчисление предикатов первого порядка в качестве модели представления знаний | 
                                    
                |  | электронное учебное пособие | 
                                    
                |  | Текстовое (символьное) электронное издание | 
                    
                |  | 1 CD-R | 
                    
                |  | г. Москва | 
                        
                    | Издатель | ФГБОУ ВО "Московский государственный технический университет имени Н. Э. Баумана (национальный исследовательский университет)" | 
                    
                |  | 2006 | 
                    
                |  | Pentium ; 128 Мб ОЗУ ; MS Internet Explorer | 
                    
                |  | 0320701213 | 
                    
                |  | 04.07.2007 |