Разработка интеллектуальной среды обучения логическому программированию Боголюбов, Дмитрий Петрович ВАК РФ 05.13.11 Стр. 1 из 15