Supercompiler HOSC 1.0: proof of termination (Запись № 3771520)

Подробности
000 -МАРКЕР
контрольное поле 01396nam0a2200349 4500
001 - ИДЕНТИФИКАТОР ЗАПИСИ
контрольное поле RU\NLR\b_ik\184845
005 - ИДЕНТИФИКАТОР ВЕРСИИ
контрольное поле 20260408205035.0
021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ
Код страны российская федерация
Номер 2010-43480
Номер Листа государственной регистраци 2919
035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА
Идентификатор записи (NLR Aleph) 002257364
100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ
Данные общей обработки 20100720d2010 u y0rusy50 ca
101 0# - ЯЗЫК РЕСУРСА
Язык текста, звукозаписи и т.д. английский
Язык резюме русский
102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА
Страна публикации российская федерация
105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ
Кодированные данные о монографическом текстовом документе a |||||||||
200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ
Основное заглавие Supercompiler HOSC 1.0: proof of termination
Первые сведения об ответственности Ilya G. Klyuchnikov
210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР.
Место издания, распространения и т.д. Moscow
Имя издателя, распространителя и т. д. [s.n.]
Дата издания, распространения и т.д. 2010
215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА
Специфическое обозначение материала и объем 27 c.
Другие сведения о физической характеристике схем.
Размеры 20
225 1# - СЕРИЯ
Основное заглавие серии Препринт
Сведения об ответственности Keldysh Inst. of appl. mathematics, Russ. acad. of sciences
ISSN серии 2071-2898
Обозначение тома N° 21
300 ## - ОБЩИЕ ПРИМЕЧАНИЯ
Текст примечания На обороте тит. л.: Суперкомпилятор HOSC 1.1: доказательство завершаемости / Илья Г. Ключников
300 ## - ОБЩИЕ ПРИМЕЧАНИЯ
Текст примечания На обл. надзаг. на рус. яз.
300 ## - ОБЩИЕ ПРИМЕЧАНИЯ
Текст примечания Рез. на рус. яз.
313 ## - ПРИМЕЧАНИЯ, ОТНОСЯЩИЕСЯ К ТЕМАТИЧЕСКОМУ ДОСТУПУ
Текст примечания HOSC 1.1
320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ
Текст примечания Библиогр.: с. 24-25 (16 назв.)
517 0# - ДРУГИЕ ВАРИАНТЫ ЗАГЛАВИЯ
Вариант заглавия Суперкомпилятор HOSC 1.1: доказательство завершаемости
606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ
Наименование темы HOSC 1.1, компиляторы (компьют.)
Идентификатор авторитетной/нормативной записи RU\NLR\auth\661592853
Системный номер авторитетной/нормативной записи 2136973
686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ
Индекс З973.2-018-5-05
700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ
Начальный элемент ввода Ključnikov
Часть имени, кроме начального элемента ввода I. G.
Расширение инициалов личного имени Il'ja G
Код отношения Автор
801 #0 - ИСТОЧНИК ЗАПИСИ
Страна российская федерация
Организация NLR
Дата составления 20100720
Правила каталогизации RCR
801 #1 - ИСТОЧНИК ЗАПИСИ
Страна российская федерация
Организация NLR
Дата составления 20100720
942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС)
Тип экземпляра АБИС Книга
980 ## - КОЛЛЕКЦИЯ
Название коллекции Национальная библиография
Экземпляры
Тип экземпляра Дата поступления Источник поступления Библиотека постоянного хранения Библиотека текущего хранения Место хранения Шифр хранения Штрих-код Статус не для выдачи Публичное примечание
Книга 20.07.2010 Обязательный экземпляр РНБ (Московский) РНБ (Московский) Иностранный книжный фонд Ик 2010-4/76 1091570   ;