Пгу шачнев: Личный кабинет пользователя ЭИОС. Портфолио. Алексей Александрович Шачнев

Шачнева Елена Андреевна — Национальный исследовательский университет «Высшая школа экономики»

  • Аналитик:Дирекция цифровизации административно-управленческих процессов / Управление цифровизации регламентированного учета
  • Приглашенный преподаватель:Факультет компьютерных наук / Департамент программной инженерии
  • Начала работать в НИУ ВШЭ в 2021 году.
  • Научно-педагогический стаж: 9 месяцев.

Полномочия / обязанности

Осуществление взаимодействия со структурными подразделениями-заказчиками и другими структурными подразделениями Университета, выступающими в качестве функциональных заказчиков в рамках автоматизации бизнес-процессов деятельности Университета.

Внедрение, развитие информационных систем в рамках реализации стратегии цифровой трансформации Университета.

Разработка требований на автоматизацию бизнес-процессов Университета.

Формирование предложений по реализации информационных систем, использующихся в целях реализации стратегии цифровизации и автоматизации кадровой деятельности, совместно с иными структурными подразделениями Университета.

Организация, разработка руководств для пользователей информационных систем, обучение ключевых пользователей информационных систем.

Образование, учёные степени

Дополнительное образование / Повышение квалификации / Стажировки

  • 1С:Профессионал. Зарплата и управление персоналом 8 (ПУП8040780)  
  • 1С:Профессионал. Бухгалтерия 8 (ПБ8069589)  
  • 1С:Специалист-консультант. Зарплата и управление персоналом 8 (CS46996)  
  • 1С:Профессионал. Платформа 1С:Предприятие 8.3 (ПП88097679)  
  • 1С:Профессионал. ERP Управление предприятием 2 (ПЕРП80020274)  
  • 1С:Специалист-консультант. Зарплата и кадры государственного (бюджетного) учреждения 8 (CS67580)  
  • 1С:Профессионал. 1С:Университет ПРОФ (ПУН80829)  
  • 1С:Профессионал. Зарплата и кадры государственного учреждения 8 ред.3.1 (ПЗГУ804149)  
  • 1С:Профессионал. Управление холдингом 8 (ред. 3.0) (ПУХ801952)  
  • 1С:Профессионал. Управление торговлей 8 Редакция 11.4 (ПУТ88059517)  
  • 1С:Профессионал по управлению персоналом в программе «1С:Зарплата и управление персоналом 8 КОРП» (ред. 3.1)

Профессиональные интересы

аналитические информационные системыПриборостроение, метрология и информационно-измерительные приборы и системыкорпоративные информационные системыпрограммирование на языках высокого уровнястратегическое управление персоналом

20.23.25 Информационные системы с базами знаний50.09.37 Датчики и преобразователи

Опыт работы

2021 г. — настоящее время, аналитик Управления цифровизации регламентированного учета

Информация

*

  • Общий стаж: 8 лет
  • Научно-педагогический стаж: 9 месяцев
  • Преподавательский стаж: 9 месяцев

Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

Расписание занятий на сегодня

 

«>

«>

«>
ауд.

№2.2010

Земледелие, 2010, № 2: 3-5

А.Л. Иванов, академик, вице-президент РАСХН
Российская академия сельскохозяйственных наук

Подробнее…

Земледелие, 2010, № 2: 6-7

УДК 631.1:551.38(470.40/.43)

С.Н. Шевченко, доктор сельскохозяйственных наук
Самарский НИИ сельского хозяйства им. Н.М. Тулайкова
446254, Самарская обл., п. Безенчук, ул. К. Маркса, 41
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 7-9

УДК 631.51:631.8:631.452

В.Ф. Кирдин, доктор сельскохозяйственных наук
НИИ сельского хозяйства Центральных районов Нечерноземной зоны
143013, Немчиновка-1 Одинцовского района Московской области, НИИСХ ЦРНЗ
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 10-12

УДК 631.11″324″:631.543.1:631.53.048:631.816

Е.А. Шевяхова
Нижне-Волжский НИИ сельского хозяйства
403013, Волгоградская область, Городищенский район, пос. Областной сельскохозяйственной опытной станции, ул. Центральная, 12
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 12-13

УДК 631.11″324″:551.577.38

Е.В. Ионова, кандидат сельскохозяйственных наук
Всероссийский НИИ зерновых культур им. И.Г. Калиненко
347740, г. Зерноград Ростовской области, Научный городок, 3
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 14-16

УДК 631.8:631.452:632.51:631.559

Н.И. Придворев, доктор сельскохозяйственных наук
Е. А. Сидяков
Воронежский государственный аграрный университет им. К.Д. Глинки
394087, г. Воронеж ул. Мичурина, 1
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 16-18

УДК 631.416.9

В.П. Зволинский, академик РАСХН
Е.К. Батовская, доктор биологических наук
Прикаспийский НИИ аридного земледелия
394087, г. Воронеж ул. Мичурина, 1
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 19

УДК 631.582:631.458

А.И. Иванов, доктор биологических наук
Пензенская государственная сельскохозяйственная академия
440014 г. Пенза ул. Ботаническая 30
А.П. Стаценко, доктор сельскохозяйственных наук
Пензенский государственный университет
440026, г.Пенза, ул.Красная, 40
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 20-21

УДК 631.445:631.43:631.48

А.В. Тюлькин, кандидат сельскохозяйственных наук
Вятская государственная сельскохозяйственная академия
610017, г. Киров, Октябрьский пр-т, 133
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 20-21

УДК 631.445:631.43:631.48

А.В. Тюлькин, кандидат сельскохозяйственных наук
Вятская государственная сельскохозяйственная академия
610017, г. Киров, Октябрьский пр-т, 133
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 22-24

УДК 631.582:631.51(470.44/47)

А.И. Беленков, доктор биологических наук
РГАУ-МСХА им. К.А. Тимирязева
127550 г. Москва, ул. Тимирязевская, 49
А.А. Холод, В.П. Шачнев
Волгоградская государственная сельскохозяйственная академия
400002 Волгоградская область, г. Волгоград, пр. Университетский, 26
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 24-26

УДК 631.51:631.452

О.К. Боронтов, доктор сельскохозяйственных наук
 Т.В. Арбузова
Всероссийский НИИ сахарной свеклы и сахара им. А.Л. Мазлумова
В.А. Королев, доктор биологических наук
Воронежский государственный университет
394006, г.Воронеж, Университетская пл., 1
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 26-28

УДК 631.11″321″:631.51:632.934:631.8

В.Г. Холмов, Л. В. Юшкевич, доктора сельскохозяйственных наук
Сибирский НИИ сельского хозяйства
644012, г. Омск, Королева пр., 26
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 28-30

УДК 631.445.4:631.51:631.31

Ю.А. Кузыченко, кандидат сельскохозяйственных наук
Ставропольский НИИ сельского хозяйства
356241, Ставропольский край, Шпаковский район, г. Михайловск, ул. Никонова, 49, корп. 1
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 31-32

УДК 633.853.494:631.584.5

А.С. Слукин, Т.Г. Белоножкина, кандидаты сельскохозяйственных наук
Всероссийский НИПТИ рапса
398037, Липецк, Боевой проезд, 26
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 32-34

УДК 633.2:631.584.5

В.Н. Лукашов,  кандидаты сельскохозяйственных наук
Т.Н. Короткова
Калужский НИИПТИ АПК
А.Н. Исаков, кандидат сельскохозяйственных наук
Калужский филиал РГАУ-МСХА им. К.А. Тимирязева
248007, Калужская обл., г. Калуга, ул. Вишневского, д. 27
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 34-35

УДК 633.11″324″:631.582:631.874

И.Е. Солдат, кандидат сельскохозяйственных наук
Н.В. Пилипчук, Ю.В. Хорошилова
Белгородский НИИ сельского хозяйства
308001 г. Белгород, ул. Октябрьская, 58
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 36-37

УДК 633.15:631. 517:632.954

Т.Р. Толорая, доктор сельскохозяйственных наук
В.П. Малаканова, Д.В. Ломовской, кандидаты сельскохозяйственных наук
Р.В. Ласкин
Краснодарский НИИ сельского хозяйства им. П.П. Лукьяненко
350012, Краснодар 12, Центральная усадьба КНИИСХ им. П.П. Лукьяненко
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 38

УДК 633.31:631.531.027.2

М.А. Амелина,  кандидат сельскохозяйственных наук
 Калининградский НИИ сельского хозяйства
238651, пос Славянское, Калининградской обл., Полесского района, пер. Молодежный, 9
Т.Н. Троян
Калининградский государственный технический университет
236000, Калининград областной, Советский просп., 1
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 39-40

УДК 633.11″324″:632.4:632.954

Н.Н. Лысенко, доктор сельскохозяйственных наук
В.В. Анненков, кандидат сельскохозяйственных наук
А.А. Ефимов
Орловский государственный аграрный университет
302019, г. Орел, ул. Генерала Родина, 69
Л.А. Нечаев, доктор сельскохозяйственных наук
В.И. Коротеев, кандидат сельскохозяйственных наук
Всероссийский НИИ зернобобовых культур
302502, Орловская обл., Орловский р-н, п/о Стрелецкое
П.В. Прудников, кандидат сельскохозяйственных наук
И.Н. Беззубенко
Брянский центр химизации
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 40-42

УДК 633. 37:632.954(571.630)

Т.А. Волошина
Приморский НИИ сельского хозяйства
692539 Приморский край, г.Уссурийск, п. Тимирязевский, ул. Воложенина, 30
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 43-45

УДК 633.11″324″:631.526.32

Н.Е. Самофалова, Н.П. Иличкина, Л.Н. Ковтун, кандидаты сельскохозяйственных наук О.А. Дубинина
Всероссийский НИИ зерновых культур им. И.Г. Калиненко

Подробнее…

Земледелие, 2010, № 2: 45-46

УДК 633.11″324″:631.5

С.М. Вьюгин, Г.В. Вьюгина, доктора сельскохозяйственных наук
Смоленская государственная сельскохозяйственная академия
214000,г. Смоленск, ул. Б. Советская, д. 10
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 47-48

УДК 633. 491:631.543.1:631.816

А.В. Ивойлов, доктор сельскохозяйственных наук
А.А. Танин
Мордовский государственный университет им. Н.П. Огарева Калининградский НИИ сельского хозяйства
430005 Республика Мордовия, г.Саранск ул. Большевистская, д. 68
О.В. Волков, кандидат сельскохозяйственных наук
Мордовский НИИ сельского хозяйства
430005 Республика Мордовия, г. Саранск, п. Ялга, ул. Мичурина, д. 5.
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Земледелие, 2010, № 2: 22-24

УДК 631.582:631.51(470.44/47)

А.И. Беленков, доктор биологических наук
РГАУ-МСХА им. К.А. Тимирязева
127550 г. Москва, ул. Тимирязевская, 49
А.А. Холод, В.П. Шачнев
Волгоградская государственная сельскохозяйственная академия
400002 Волгоградская область, г. Волгоград, пр. Университетский, 26
Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Подробнее…

Принято notepadqq 2.0.0~beta1-2 (источник) в нестабильную версию 

 ----- НАЧАТЬ ПОДПИСАННОЕ СООБЩЕНИЕ PGP-----
Хэш: SHA256
Формат: 1.8
Дата: Пн, 23 августа 2021 г., 21:38:09 -06:00
Источник: блокнотqq
Архитектура: источник
Версия: 2.0.0~beta1-2
Распространение: нестабильное
Срочность: средняя
Сопровождающий: Алессандро Грасси ,
            Энтони Фок 
Изменено: Энтони Фок 
Закрывается: 964603 965192
Изменения:
 notepadqq (2.0.0~beta1-2) нестабильный; срочность = средняя
 .
   [ Дмитрий Шачнев ]
   * Передайте --disable-gpu Chromium при запуске теста
     исправить ошибку с Qt WebEngine 5.15.3 (начиная с 2.0.0~beta1-1ubuntu1)
   * Обновление debian/patches/0001-remove_extension_tools
     чтобы также удалить цель make_extensionTools из зависимостей
     (из 2.0.0~beta1-1ubuntu2) (закрывается: #964603)
 .
   [ Энтони Фок ]
   * Применить исправления "cme fix dpkg":
     - Организация полей debian/control и debian/copyright
     - Измените шорткод лицензии MIT на Expat в debian/copyright. 
     - Добавить синопсис в debian/patches/*.patch
   * Увеличить зависимость debhelper до "Build-Depends: debhelper-compat (= 13)"
   * Увеличить стандартную версию до 4.6.0 (без изменений)
   * Исправлен устаревший URL-адрес домашней страницы в описании пакета: новый URL-адрес
     https://notepadqq.com/ Спасибо Йоргу Зоммеру (закрытие: #965192)
   * Обновите Vcs-Browser и Vcs-Git, чтобы они указывали на репозиторий Salsa.
   * Добавьте debian/gbp.conf, чтобы использовать debian/sid в качестве ветки debian в соответствии с DEP-14.
   * Добавить себя в список загрузчиков
Контрольные суммы-Sha1:
 82a53dfb26b4efada32bad52adec550941a68bed 2230 notepadqq_2.0.0~beta1-2.dsc
 d063bf4372257d503231d1c8e5087908c7b4f34c 7840
notepadqq_2.0.0~beta1-2.debian.tar.xz
 e557be7417927f56ef3f5aeebc093af0bd5939ce 16288
notepadqq_2.0.0~beta1-2_amd64.buildinfo
Контрольные суммы-Sha256:
 e52f7f7fee6e66ba8345950e477bb004b497eb37485ed981ab67e6e6c207e0f8 2230
notepadqq_2.0.0~beta1-2.dsc
 110ebeb7d1874a312c8f7669dae15273268cec2363aee6270f0d3535a83a09b2 7840
notepadqq_2. 0.0~beta1-2.debian.tar.xz
 f58ec8ba7c0e563b33ccb9c9cd6c0452cfcdadc0f7fd13cb8a500bc87e1ff8a2 16288
notepadqq_2.0.0~beta1-2_amd64.buildinfo
Файлы:
 141d26a2d6efecaca3fc1905c600650e 2230 редакторы опционально
notepadqq_2.0.0~beta1-2.dsc
 1349264827790fc95cda1262edd11185 7840 редакторов опционально
notepadqq_2.0.0~beta1-2.debian.tar.xz
 ae6435a71abfce129c74a38bfb00d3c9 16288 редакторов опционально
notepadqq_2.0.0~beta1-2_amd64.buildinfo 
-----НАЧАТЬ ПОДПИСЬ PGP-----
iQJEBAEBCAAuFiEEFCQhsZrUqVmW+VBy6iUatBLFms8FAmEk7mMQHGZva2FAZGVi
AWFuLm9yZwAKCRDqJQC0EsWaz0yFD/sFpqjapbiSX2LGUxqAdsnY+ABxiHgoJVYE
gDilfsDiJqU5zwi6Jj8H/3Dlgp4QIKHokuDDgAIZlUA6NTegZ66VKn4jnL0p9DTf
ZKCYS6a+blW/hU4fWiuZWQiGuN3elu59АЛМШ6D1RoDsWy2qK588Gw5bOlsvDL7o
wWXZJbj4JcPW/17putpC50gwlQ29FoMdPQRTanZx2Cg1VZqeaW3iiwYibti+La0z
A1kpgvTMPReLS/qgyybBf0UztpptLvq9qUt0poPJVbduc2+y4NrbLMysQ9LOh5Sj
Six+VzOpu1hZw9ccMn1ArQfLWtpKizWZmSyPUtm5fQe7BUsuaeXBoaX3uo7vkyb8
cApoORAAV7T6U8nDlcAdLBCuCehWzEYct22tvAfnqKijEAeMFzuvG0GFAUczFyYW
ZbGmD/zQzTPgv+mLqSwIpg2bwFY4hUM1XFPyQaLo17dKh/W1gRT69L68UxSMF8My
GSQo1+d6sr09tHvzM8NO2hTVayOxq3Dgpjp7zlLyxZdA0a9E9qPSKRE2d83bbf6U
811u72X6Ohfgm8sX8hvpWhhevGBeZ4bc6YKCnpsAgmJJSUHpz3N4kjKErirM6Pjy
dg+itAW1PmXUq56cMbp8LHQAMt/fWVa0w5pBLJ6ndlnApfZz4inEq+x2P72u6K4R
4+3CSZK8KQ==
=кЕАр
-----КОНЕЦ ПОДПИСИ PGP-----

Перспективы системной информатики — 11-я Международная конференция по информатике им.

А.П. Ершова, PSI 2017, Москва, Россия, 27-29 июня 2017 г., пересмотренные избранные статьи

Перспективы системной информатики — 11-я Международная конференция по информатике им. А.П. Ершова, PSI 2017 , Москва, Россия, 27–29 июня 2017 г., Revised Selected Papers — исследовательское издание

  • Вы не подписаны
  • Войти
  • Зарегистрироваться
  • DOI
  • DBLP
  • Google
  • Google Scholar
  • MSAS
  • ershov-2017
  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0
  • [Upload PDF for personal use ]. Volume 10742 of Lecture Notes in Computer Science, Springer, 2018. [doi]

    Конференция: ershov2018

    Тезисы отсутствуют.

    • Архитектура для неинвазивных измерений программного обеспеченияВасилий Артемьев, Владимир Иванов, Мануэль Маццара, Алан Роджерс, Альберто Силлитти, Джанкарло Суччи, Евгений Зуев. 1-11 [doi]
    • Человек в цикле оценки безопасности робототехнических приложений Мехрнуш Аскарпур, Дино Мандриоли, Маттео Росси, Федерико Вичентини. 12-27 [doi]
    • Многоуровневый статический анализ для поиска шаблонов ошибок и дефектов в исходном кодеАндрей Белеванцев, Арутюн Аветисян. 28-42 [дои]
    • Конвейерная восходящая оценка программ регистрации данных: метод проталкивания Stefan Brass, Heike Stephan. 43-58 [doi]
    • Платформа для мониторинга безопасности мультиоблачных приложений Памела Карвалло, Ана Р. Кавалли, Виссам Маллули. 59-71 [doi]
    • Гибридная многомерно-онтологическая модель данных на основе метаграфического подхода Валерий М. Черненький, Юрий Э. Гапанюк, Анатолий Нардид, Антон В. Гуща, Юрий С. Федоренко. 72-87 [doi]
    • PosDB: механизм распределенного хранилища столбцов Георгий Чернышев, Вячеслав Галактионов, Валентин Григорьев, Евгений Ключиков, Кирилл Смирнов 0001. 88-94 [doi]
    • Микросервисы: как масштабировать приложение Никола Драгони, Иван Ланесе, Стефан Тордал Ларсен, Мануэль Маццара, Руслан Мустафин, Лариса Сафина. 95-104 [doi]
    • Инструментарий статического двоичного кода для архитектуры ARM Михаил Ермаков. 105-116 [doi]
    • Теория поведения для рефлексивных последовательных алгоритмов Флавио Ферраротти, Клаус-Дитер Шеве, Loredana Tec. 117-131 [doi]
    • Облегченная ненавязчивая виртуальная машина Самоанализ Наталья Фурсова, Павел Довгалюк, Иван Васильев, Владимир Макаров. 132-146 [дои]
    • Распределенный подход к разрешению кореферентности в мультиагентном анализе текста для популяции онтологий Гаранина Наталья Олеговна, Сидорова Елена Анатольевна, Кононенко Ирина. 147-162 [doi]
    • Фреймворк для динамического конструирования программных компонентов Ефим Гринкруг. 163-178 [doi]
    • Основанный на трансформации подход к разработке высокопроизводительных программ для графических процессоров Бастиан Хагедорн, Мишель Штойвер, Сергей Горлач. 179-195 [doi]
    • Проектирование доменов на пути МагнолииМагне Хавераэн. 196-210 [doi]
    • Аппроксимация абстракций системы событий путем покрытия их состояний и переходов Жак Жюльян, Ольга Кушнаренко, Пьер-Ален Массон, Гийом Вуарон. 211-226 [doi]
    • Реализация символьного метода верификации в проекте C-Light Дмитрий Кондратьев. 227-240 [doi]
    • Основные моменты теоремы Райса-Шапиро в вычислимой топологии Маргарита В. Коровина, Олег В. Кудинов. 241-255 [doi]
    • Модель памяти для дедуктивной проверки модулей ядра LinuxМихаил Ю. Мандрыкин, Алексей В. Хорошилов. 256-275 [дои]
    • Индексирование иерархически организованных пространственно-временных данных с использованием динамических регулярных октодеревьев Морозов С.В., Семенов В.А., Тарлапан О.А., Золотов Владислав А.. 276-290 [doi]
    • Подход к проверке XML-документов на основе архитектуры, управляемой моделями, и языка ограничений объектов Денис А. Никифоров, Дмитрий В. Корж, Руслан Л. Сиваков. 291-305 [doi]
    • Композиционное реляционное программирование с проекцией имен и композиционным синтезом Гёркем Пачачи, Стив МакКивер, Андреас Хамфельт. 306-321 [дои]
    • WhaleProver: Интуиционистский доказатель теорем первого порядка на основе обратного методаВладимир Павлов, Вадим Пак.
      Пгу шачнев: Личный кабинет пользователя ЭИОС. Портфолио. Алексей Александрович Шачнев