Функциональное и логическое программирование. Математические основы и языковая семантика (Запись № 1107195)

Подробности
000 -МАРКЕР
контрольное поле 02652nam0a2200361 4500
001 - ИДЕНТИФИКАТОР ЗАПИСИ
контрольное поле RU\NLR\bibl\1690894
005 - ИДЕНТИФИКАТОР ВЕРСИИ
контрольное поле 20260408194014.0
010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN)
Номер (ISBN) 978-5-4221-0006-4
Тираж 100
021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ
Код страны российская федерация
Номер 2010-72489
Номер Листа государственной регистраци 4802
035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА
Идентификатор записи (NLR Aleph) 001682011
100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ
Данные общей обработки 20101027d2009 u y0rusy50 ca
101 0# - ЯЗЫК РЕСУРСА
Язык текста, звукозаписи и т.д. русский
102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА
Страна публикации российская федерация
105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ
Кодированные данные о монографическом текстовом документе a |||||||||
200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ
Основное заглавие Функциональное и логическое программирование. Математические основы и языковая семантика
Сведения, относящиеся к заглавию учебное пособие для студентов высших учебных заведений, обучающихся по специальности 230105 - Программное обеспечение вычислительной техники и автоматизированных систем
Первые сведения об ответственности Д.А. Ризванов, Д.В. Попов, Г.А. Макеев
Последующие сведения об ответственности Федер. агентство по образованию, Гос. образоват. учреждение высш. проф. образования Уфим. гос. авиац. техн. ун-т
210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР.
Место издания, распространения и т.д. Уфа
Имя издателя, распространителя и т. д. Уфимский государственный авиационный технический университет
Дата издания, распространения и т.д. 2009
215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА
Специфическое обозначение материала и объем 160 с.
Другие сведения о физической характеристике ил.
Размеры 20
320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ
Текст примечания Библиогр.: с. 159-160 (38 назв.)
606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ
Наименование темы LISP, язык программирования
Формальный подзаголовок Учебные издания для высших учебных заведений
Системный номер авторитетной/нормативной записи 2151674
Идентификатор авторитетной/нормативной записи RU\NLR\auth\661295722
606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ
Наименование темы PROLOG, язык программирования
Формальный подзаголовок Учебные издания для высших учебных заведений
Системный номер авторитетной/нормативной записи 1979488
Идентификатор авторитетной/нормативной записи RU\NLR\auth\66907798
606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ
Наименование темы Логическое программирование (компьют.)
Формальный подзаголовок Учебные издания для высших учебных заведений
Идентификатор авторитетной/нормативной записи RU\NLR\auth\661263868
Системный номер авторитетной/нормативной записи 2087694
606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ
Наименование темы Функциональное программирование (компьют.)
Формальный подзаголовок Учебные издания для высших учебных заведений
Идентификатор авторитетной/нормативной записи RU\NLR\auth\661349487
Системный номер авторитетной/нормативной записи 2249710
686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ
Индекс З973.2-018я73-1
700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ
Начальный элемент ввода Ризванов
Часть имени, кроме начального элемента ввода Д. А.
Расширение инициалов личного имени Дмитрий Анварович
Код отношения Автор
701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ
Код отношения Автор
Материалы, к которым относится поле rus
Графика поля Кириллица
Начальный элемент ввода Попов
Часть имени, кроме начального элемента ввода Д. В.
Дополнения к именам, кроме дат канд. техн. наук
Расширение инициалов личного имени Денис Владимирович
Идентификатор авторитетной/нормативной записи RU\NLR\auth\77125565
Системный номер авторитетной/нормативной записи 108490
701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ
Начальный элемент ввода Макеев
Часть имени, кроме начального элемента ввода Г. А.
Расширение инициалов личного имени Григорий Анатольевич
Код отношения Автор
801 #0 - ИСТОЧНИК ЗАПИСИ
Страна российская федерация
Организация NLR
Дата составления 20101027
Правила каталогизации RCR
801 #1 - ИСТОЧНИК ЗАПИСИ
Страна российская федерация
Организация NLR
Дата составления 20101027
942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС)
Тип экземпляра АБИС Книга
980 ## - КОЛЛЕКЦИЯ
Название коллекции Национальная библиография
980 ## - КОЛЛЕКЦИЯ
Название коллекции НБР
Экземпляры
Тип экземпляра Дата поступления Источник поступления Библиотека постоянного хранения Библиотека текущего хранения Место хранения Шифр хранения Штрих-код Статус не для выдачи
Книга 27.10.2010 Обязательный экземпляр РНБ (Московский) РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж 2010-3/34810 3276739  
Книга 27.10.2010 Обязательный экземпляр РНБ (Московский) РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж 2010-3/34810 3276740