Журнал ИМТ
Цитируемая работаПубликацияДокумент
Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования
http://libmeta.ru/resource/imt/cited_3917
Данные
| sourceNote | Новосибирск. 2012. 30с. (Препр. / ИСИ СО РАН. № 164). |
| год | 2012 |
| language | ru |
| bibliographicCitation | Шелехов В.И. Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования. Новосибирск. 2012. 30с. (Препр. / ИСИ СО РАН. № 164). |
автор
Входящие связи