期刊


ISSN0132-3474
刊名Программирование
参考译名程序设计
收藏年代2008～2023



全部

2008 2009 2010 2011 2012 2013
2014 2015 2016 2017 2018 2019
2020 2021 2022 2023

2018, no.1 2018, no.2 2018, no.3 2018, no.4 2018, no.5 2018, no.6

题名作者出版年年卷期
ИСПОЛЬЗОВАНИЕ ОНТОЛОГИИ ПРЕДМЕТНОЙ ОБЛАСТИ ДЛЯ АВТОМАТИЗАЦИИ ПРОЦЕССОВ В СФЕРЕ НАУЧНЫХ ИССЛЕДОВАНИЙ И ОБРАЗОВАНИЯД. А. Шачнев; Д. С. Карпенко20182018, no.1
МУЛЬТИ-АГЕНТНЫЙ ПОДХОД К РАЗРЕШЕНИЮ КОРЕФЕРЕНЦИИ НА ОСНОВЕ МНОГОФАКТОРНОГО СХОДСТВА ПРИ ПОПОЛНЕНИИ ОНТОЛОГИЙН. О. Гаранина; Е. А. Сидорова; А. С. Серый20182018, no.1
ГЕНЕРАЦИЯ ТЕСТОВ НА АБСТРАКЦИЯХ СИСТЕМСОБЫТИЙДЛЯ ПОКРЫТИЯ ИХ СОСТОЯНИЙ И ПЕРЕХОДОВЖ. Жюллиан; О. Кушнаренко; П.-А. Массон; Г. Вуарон20182018, no.1
СИСТЕМА АВТОМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА ТЕОРЕМ ИНТУИЦИОНИСТСКОЙ ЛОГИКИ НА ОСНОВЕОБРАТНОГО МЕТОДАВ. А. Павлов; В. Г. Пак20182018, no.1
PosDB: ОБЗОР АРХИТЕКТУРЫГ. А. Чернышев; В. А. Галактионов; В. Д. Григорьев; Е. С. Ключиков; К. К. Смирнов20182018, no.1



制造业外文文献服务平台