Подробности
| 000 -МАРКЕР |
|---|
| контрольное поле |
01640nam0a2200361 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ |
|---|
| контрольное поле |
RU\NLR\BIBL_A\010193154 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ |
|---|
| контрольное поле |
20260408193846.0 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ |
|---|
| Код страны |
российская федерация |
| Номер |
2013-100527 |
| Номер Листа государственной регистраци |
6984 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(NLR Aleph) 010193154 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ |
|---|
| Данные общей обработки |
20140219d2013 k y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА |
|---|
| Язык текста, звукозаписи и т.д. |
английский |
| Язык резюме |
русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА |
|---|
| Страна публикации |
российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ |
|---|
| Кодированные данные о монографическом текстовом документе |
a|||z|||000yy |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ |
|---|
| Основное заглавие |
TT Lite: a supercompiler for Martin-Löf's type theory |
| Первые сведения об ответственности |
Ilya G. Klyuchnikov, Sergei A. Romanenko |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. |
|---|
| Место издания, распространения и т.д. |
Moscow |
| Имя издателя, распространителя и т. д. |
ИПМ РАН |
| Дата издания, распространения и т.д. |
2013 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА |
|---|
| Специфическое обозначение материала и объем |
28 с. |
| Другие сведения о физической характеристике |
ил. |
| Размеры |
21 |
| 225 1# - СЕРИЯ |
|---|
| Основное заглавие серии |
Препринт |
| Сведения об ответственности |
Keldysh inst. of appl. mathematics, Russ. acad. of sciences |
| ISSN серии |
2071-2898 |
| Обозначение тома |
N 73 за 2013 г. |
| 225 1# - СЕРИЯ |
|---|
| Основное заглавие серии |
Препринты ИПМ им. М.В. Келдыша |
| Параллельное заглавие серии |
Keldysh institute preprints |
| Язык параллельного заглавия |
английский |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
На обороте тит. л.: TT Lite: суперкомпилятор для теории типов Мартина-Лефа / Илья Ключников, Сергей Романенко |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
На обл. надзаг. на рус. яз. |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
Рез на рус. яз. |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Библиогр.: с. 17-18 (24 назв.) |
| 517 1# - ДРУГИЕ ВАРИАНТЫ ЗАГЛАВИЯ |
|---|
| Вариант заглавия |
TT Lite: суперкомпилятор для теории типов Мартина-Лефа |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Компиляторы (компьют.) |
| Тематический подзаголовок |
Теория |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\661344711 |
| Системный номер авторитетной/нормативной записи |
2240970 |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.2-018-5-05 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Связь между полями |
z40790 |
| Начальный элемент ввода |
Ključnikov |
| Часть имени, кроме начального элемента ввода |
I. G. |
| Расширение инициалов личного имени |
Il'ja Grigor'evič |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Romanenko |
| Часть имени, кроме начального элемента ввода |
S. A. |
| Расширение инициалов личного имени |
Sergej A |
| 790 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ФОРМА |
|---|
| Связь между полями |
z40700 |
| Начальный элемент ввода |
Klyuchnikov |
| Часть имени, кроме начального элемента ввода |
I. G. |
| Расширение инициалов личного имени |
Ilya G. |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) |
|---|
| Тип экземпляра АБИС |
Книга |
| 980 ## - КОЛЛЕКЦИЯ |
|---|
| Название коллекции |
Национальная библиография |