Логика и компьютер : моделирование рассуждений и проверка правильности программ / [Н. А. Алешина и др. ; научный редактор Е. Д. Смирнова] ; Академия наук СССР

010 ## - ISBN
Номер ISBN 5-02-007156-0
035 ## - Идентификатор записи другой системы
Контрольный номер системы (BY-HO0009)BY-HO0009-br222044
100 ## - Данные общей обработки
Данные общей обработки 20070918d1990 k y0rusy50 ca
101 0# - Язык документа
Язык текста, звукозаписи и т.д. rus
102 ## - Страна публикации или производства
Страна публикации RU
105 ## - Поле кодированных данных: текстовые документы – монографические
Кодированные данные о текстовом документе, описываемом на монографическом или аналитическом уровне a z 000yy
109 ## - Поле кодированных данных: вид / характер текстовых документов
Коды вида / характера документа aa
200 1# - Заглавие и сведения об ответственности
Основное заглавие Логика и компьютер
Сведения, относящиеся к заглавию моделирование рассуждений и проверка правильности программ
Первые сведения об ответственности [Н. А. Алешина и др.
Последующие сведения об ответственности научный редактор Е. Д. Смирнова]
-- Академия наук СССР
210 ## - Публикация, распространение и т. д.
Место издания, распространения и т.д. Москва
Имя издателя, распространителя и т. д. Наука
Дата издания, распространения и т.д. 1990
215 ## - Физическая характеристика
Обозначение специфического вида материала и физической характеристики документа или его составных частей 238, [1] с.
Другие уточнения физических характеристик ил.
Размеры 20 см
225 1# - Серия
Заглавие серии Кибернетика ― неограниченные возможности и возможные ограничения
320 ## - Примечание о наличии в документе библиографии или указателя
Текст примечания Библиография: с. 231-235 (52 назв.)
606 0# - Наименование темы, используемое как предмет
Идентификатор авторитетной / нормативной записи BY-NLB-ar26760
Начальный элемент ввода ПЭВМ
Код системы предметизации или авторитетного / нормативного файла DVNLB
Идентификатор авторитетной / нормативной записи BY-NLB-ar16568
Начальный элемент ввода ЛОГИКА
Код системы предметизации или авторитетного / нормативного файла DVNLB
Идентификатор авторитетной / нормативной записи BY-NLB-ar27493
Начальный элемент ввода РАССУЖДЕНИЕ
Код системы предметизации или авторитетного / нормативного файла DVNLB
Идентификатор авторитетной / нормативной записи BY-NLB-ar12062
Начальный элемент ввода ИНФОРМАТИКА
Код системы предметизации или авторитетного / нормативного файла DVNLB
Идентификатор авторитетной / нормативной записи BY-NLB-ar25723
Начальный элемент ввода ПРОГРАММИРОВАНИЕ
Код системы предметизации или авторитетного / нормативного файла DVNLB
686 ## - Индексы других классификаций
Индекс 32.971.3
Код классификации rubbk
Индекс 32.973
Код классификации rubbk
690 ## - Локальный рубрикатор библиографирующего учреждения
Начальный элемент ввода (или индекс) 1
Код системы Base
Код библиографирующего учреждения BY-HO0009
Тематический подзаголовок (или индекс) RSEK
Начальный элемент ввода (или индекс) 1
Код системы Vid
Код библиографирующего учреждения BY-HO0009
701 #1 - Имя лица — альтернативная ответственность
Идентификатор авторитетной / нормативной записи BY-CNB-a272568
Начальный элемент ввода Алешина
Часть имени, кроме начального элемента ввода Н. А.
Полная форма имени и отчества лица Наталия Альбертовна
Код отношения 070
702 #1 - Имя лица — вторичная ответственность
Идентификатор авторитетной / нормативной записи BY-NLB-ar3203096
Начальный элемент ввода Смирнова
Часть имени, кроме начального элемента ввода Е. Д.
Полная форма имени и отчества лица Елена Дмитриевна
Дополнение к именам, кроме дат доктор философских наук
Даты род. 1929
Код отношения 340
711 02 - Наименование организации - альтернативная ответственность
Идентификатор авторитетной / нормативной записи BY-NLB-ar187379
Начальный элемент ввода Академия наук СССР
801 #0 - Источник происхождения записи
Страна BY
Библиографирующее учреждение
Дата составления 20070918
Правила каталогизации psbo
899 #0 - Данные о местонахождении (устаревшее)
Идентификатор организации
Часть, характеризующая документ Л69
Языки: