Normal view
MARC view
Логические модели интеллектуальных информационных систем (Record no. 149940)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 03026nam a2200637 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000148951 |
005 - Дата корректировки | |
Контрольное поле | 20221229034622.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 021004s1999 ru 00| 0 rus d |
020 ## - Индекс ISBN | |
ISBN | 9660005350 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | 0152-94160 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
Правила каталог. | PSBO |
080 ## - Индекс УДК | |
Индекс УДК | 519.767 |
100 1# - Автор | |
Автор | Андон, Филипп Илларионович. |
9 (RLIN) | 232111 |
245 10 - Заглавие | |
Заглавие | Логические модели интеллектуальных информационных систем |
Ответственность | Ф. И. Андон, А. Е. Яшунин, В. А. Резниченко; Отв. ред. . И. В. Сергиенко; Нац. акад. наук Украины, Ин-т программных систем |
260 ## - Выходные данные | |
Место издания | Киев |
Издательство | Наукова думка |
Дата издания | 1999 |
300 ## - Физическое описание | |
Объем | 396, [1] с. |
Иллюстрации/тип воспроизводства | рис. |
504 ## - Библиография | |
Библиография | Библиогр.: с. 384-391 |
653 ## - Ключевые слова | |
Ключевые слова | представление знаний. |
653 ## - Ключевые слова | |
Ключевые слова | концептуальные модели. |
653 ## - Ключевые слова | |
Ключевые слова | математическая логика. |
653 ## - Ключевые слова | |
Ключевые слова | информационные системы. |
653 ## - Ключевые слова | |
Ключевые слова | базы данных. |
653 ## - Ключевые слова | |
Ключевые слова | базы знаний. |
653 ## - Ключевые слова | |
Ключевые слова | статические свойства. |
653 ## - Ключевые слова | |
Ключевые слова | динамические свойства. |
653 ## - Ключевые слова | |
Ключевые слова | предметные области знания. |
653 ## - Ключевые слова | |
Ключевые слова | аксиоматическая теория множеств. |
653 ## - Ключевые слова | |
Ключевые слова | логические языки. |
653 ## - Ключевые слова | |
Ключевые слова | формализация. |
653 ## - Ключевые слова | |
Ключевые слова | систематизация знаний. |
653 ## - Ключевые слова | |
Ключевые слова | логическое представление знаний. |
653 ## - Ключевые слова | |
Ключевые слова | интеллектуальные информационные системы. |
653 ## - Ключевые слова | |
Ключевые слова | формально-логическое описание. |
653 ## - Ключевые слова | |
Ключевые слова | принципы обработки информации. |
653 ## - Ключевые слова | |
Ключевые слова | проектирование. |
653 ## - Ключевые слова | |
Ключевые слова | неполные знания. |
653 ## - Ключевые слова | |
Ключевые слова | нечеткие знания. |
653 ## - Ключевые слова | |
Ключевые слова | языки запросов. |
653 ## - Ключевые слова | |
Ключевые слова | реляционные модели. |
653 ## - Ключевые слова | |
Ключевые слова | исчисление предикатов. |
653 ## - Ключевые слова | |
Ключевые слова | модальная логика. |
653 ## - Ключевые слова | |
Ключевые слова | Левескье эпистемическая логика. |
653 ## - Ключевые слова | |
Ключевые слова | Неймана-Бернайса-Геделя аксиоматическая теория множеств. |
653 ## - Ключевые слова | |
Ключевые слова | дедуктивные базы данных. |
653 ## - Ключевые слова | |
Ключевые слова | предикаты. |
653 ## - Ключевые слова | |
Ключевые слова | модели данных. |
653 ## - Ключевые слова | |
Ключевые слова | DATALOG. |
653 ## - Ключевые слова | |
Ключевые слова | дизъюнкты. |
653 ## - Ключевые слова | |
Ключевые слова | рекурсия. |
653 ## - Ключевые слова | |
Ключевые слова | Datalog-уравнения. |
700 1# - Другие авторы | |
Другие авторы | Яшунин, Александр Евгеньевич. |
9 (RLIN) | 232112 |
700 1# - Другие авторы | |
Другие авторы | Резниченко, Валерий Анатольевич. |
9 (RLIN) | 232113 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Полочный индекс | 519.7 |
Авторский знак | А653 |
Код страны | ru |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 149940 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 43.00 | 1-894405к | 13820000380889 | 1 | Выдается в читальный зал |