Электронный каталог. . Муниципальная Информационно-Библиотечная Система г. Новокузнецка

   87.4
   Л69


    Логический подход к искусственному интеллекту = Approche logique de l'intelligence artificielle : От модальной логики к логике баз данных / [А. Тейз и др.] ; перевод с французского Г. П. Гаврилова, П. П. Пермякова и А. А. Ивановой ; под ред. Г. П. Гаврилова. - Москва : Мир, 1998. - 493, [1] с. - ISBN 5-03-002519-7 : 40.00; 25.00 р.

ББК 87.43 + 81.1 + 22.186
Рубрики: Логика
Кл.слова (ненормированные):
базы данных -- естественные языки -- информатика -- логика -- логическое программирование -- модальная логика -- модальные логики -- рассуждения -- семантика Монтегю -- формальные языки -- языки -- Искусственный интеллект -- Логические аспекты

Доп.точки доступа:
Тейз, Андре \.\; Грибомон, Паскаль \.\; Юлен, Ги \.\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1)
Прямая ссылка
Найти похожие

   22.14
   Г 55

    Глушков, Виктор Михайлович.
    Алгебра. Языки. Программирование. / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. - Издание второе, переработанное. - Киев : Наукова думка, 1978. - 318, [1] с. - 3.00 р.

ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Алгебра -- Программирование -- множества -- системы программирования -- формальные языки -- контекстно-свободные языки -- системы образующих

Доп.точки доступа:
Цейтлин, Георгий Евсеевич \, авт.\; Ющенко, Екатерина Логвиновна \, авт.\
Экземпляры всего: 1
абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие

   32.973
   К 82

    Криницкий, Николай Андреевич.
    Алгоритмы вокруг нас / Н. А. Криницкий ; Академия наук СССР. - Москва : Наука, 1977. - 223, [1] с. : ил. ; 20 см. - (Проблемы науки технического прогресса). - 0.80 р.

ББК 32.973
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
ПРИКЛАДНАЯ МАТЕМАТИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМЫ -- ПРОГРАММИРОВАНИЕ -- АВТОМАТИЗАЦИЯ УПРАВЛЕНИЯ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ТЕЗАУРУСЫ
Аннотация: Рассмотрены наиболее важные приложения в области ЭВМ, программирования, автоматизации процессов управления.

Доп.точки доступа:
Академия наук СССР (Москва)
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Абашевская, ул. Пушкина 19, т. 31-55-26, Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1)
Прямая ссылка
Найти похожие

   22.1
   М23

    Манин, Юрий Иванович.
    Доказуемое и недоказуемое : [монография] / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : ил. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р.

ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
АКСИОМЫ АРИФМЕТИКИ -- АКСИОМЫ БЕСКОНЕЧНОСТИ -- АРИФМЕТИКА ШМУЛЬЯНА -- БУЛЕВА АЛГЕБРА -- ГИПОТЕЗЫ КОНТИНУУМА -- КВАНТОВАЯ ЛОГИКА -- МАТЕМАТИЧЕСКИЕ МЕТОДЫ -- МАТЕМАТИЧЕСКИЙ ТЕКСТ -- ПАРАДОКСЫ СКОЛЕМА -- СВОЙСТВА ИСТИННОСТИ -- СЧЕТНЫЕ МОДЕЛИ -- ТЕОРЕМА ГЕДЕЛЯ -- ТЕОРЕМА ТАРСКОГО -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЯЗЫК SELF

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   81
   М-34


    Математическая лингвистика / Академия наук СССР, Всесоюзный институт научной и технической информации. - Москва : Наука, 1973. - 181, [1] с. - 0.77 р.

ББК 81
Рубрики: Языкознание
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ПЕРЕВОД -- БЕСКОНТЕКСТНЫЕ ГРАММАТИКИ -- ЛИНГВИСТИЧЕСКИЕ ИССЛЕДОВАНИЯ -- СБОРНИКИ

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)