Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул (Запись № 10026995)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01881nam0a2200337 i 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\BIBL_A\010472496 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20241120143929.0 |
| 010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) | |
| Номер (ISBN) | 978-5-9624-0941-2 |
| Тираж | 100 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ | |
| Код страны | Российская Федерация |
| Номер | 2014-54261 |
| Номер Листа государственной регистраци | 3278 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NILC)RuMoRGB-007525156 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NLR Aleph) 010472496 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20141003d2014 um y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | Российская Федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | a|||z|||001yy |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул |
| Сведения, относящиеся к заглавию | монография |
| Первые сведения об ответственности | А. А. Ларионов, Е. А. Черкашин |
| Последующие сведения об ответственности | Федеральное гос. бюджетное образовательное учреждение высш. проф. образования "Иркутский гос. ун-т", Федеральное гос. бюджетное учреждение науки "Ин-т динамики систем и теории упр. Сибирского отд-ния РАН" |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Иркутск |
| Имя издателя, распространителя и т. д. | ИГУ |
| Дата издания, распространения и т.д. | 2014 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 104 с. |
| Другие сведения о физической характеристике | ил. |
| Размеры | 21 |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр.: с. 95-104 (107 назв.) |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Исчисление предикатов |
| Тематический подзаголовок | Поиск выводов |
| Код системы | nlr_sh2 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\6601746979 |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Математика |
| Тематический подзаголовок | Доказательства |
| Системный номер авторитетной/нормативной записи | 1031438 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\66395731 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Теоремы |
| Тематический подзаголовок | Доказательство |
| Системный номер авторитетной/нормативной записи | 1766096 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\661087513 |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В12 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Ларионов |
| Часть имени, кроме начального элемента ввода | А. А. |
| Расширение инициалов личного имени | Александр Александрович |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Черкашин |
| Часть имени, кроме начального элемента ввода | Е. А. |
| Расширение инициалов личного имени | Евгений Александрович |
| 801 #0 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | РГБ |
| Дата составления | 20140724 |
| Правила каталогизации | RCR |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 980 ## - КОЛЛЕКЦИЯ | |
| Название коллекции | НБР |
Нет доступных экземпляров.