Запись [200] ИМЯ ЛИЦА

Количество использованных записей: 2

200 #1 - ПРИНЯТАЯ ТОЧКА ДОСТУПА - ИМЯ ЛИЦА

• Начальный элемент ввода: Марьясов
• Часть имени, отличная от начального элемента ввода: И. В.
• Даты: 1983-
• Расширение инициалов личного имени: Илья Владимирович

300 0# - СПРАВОЧНОЕ ПРИМЕЧАНИЕ

• Текст примечания: Программист, сотр. Института систем информатики СО РАН. Сфера науч. интересов: языки программирования.

700 #1 - ПРИНЯТАЯ ТОЧКА ДОСТУПА НА ДРУГОМ ЯЗЫКЕ И/ИЛИ В ДРУГОЙ ГРАФИКЕ - ИМЯ ЛИЦА

• Начальный элемент ввода: Mar'jasov
• Часть имени, отличная от начального элемента ввода: I. V.
• Даты: 1983-
• Расширение инициалов личного имени: Il'ja Vladimirovič
• Идентификатор авторитетной / нормативной записи: RU\NLR\AUTH\77102282

801 #0 - ИСТОЧНИК ЗАПИСИ

• Страна: RU
• Организация: NLR
• Дата составления: 20110816

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: ЭК РНБ

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: На пути автоматической верификации программ на языке C-Light. Смешанная аксиоматическая семантика языка C-Kernet/ И.В. Марьясов - Новосибирск,2008.

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: Интернет: http://www.gleobammf.ru:
• Найденная информация: справка об авторе; год рождения; раскрытие инициалов.

815 ## - ИСТОЧНИК, В КОТОРОМ НЕ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: ГАК РНБ скан.

830 ## - ОБЩЕЕ ПРИМЕЧАНИЕ КАТАЛОГИЗАТОРА

• Текст примечания: Masenka