Пропуск в контексте
Электронная библиотека
Национальной библиотеки
Беларуси
Вход
Русский
Белорусский
Английский
Deutsch
Español
Français
中文(繁體)
polski
Язык
Электронная библиотека Национальной библиотеки Беларуси находится в тестовом режиме
Перейти в электронный каталог
Все поля записи
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
Формализация естественного язы...
Отправить на Email
Печать
Запись для экспорта
Экспорт в RefWorks
Экспорт в EndNote
Экспорт в MARC
Экспорт в MARCXML
Экспорт в BibTeX
Добавить в Избранное
Заказать документ через ЭДД
Язык и логика / Р. Й. Павилёнис. Ч. 1 : Формализация естественного языка в терминах исчисления высказываний и исчисления предикатов первой степени
Сохранено в:
Шифр документа:
АЯ294632,
Вид документа:
Книги
Опубликовано:
1975
Физические характеристики:
166 с.
Язык:
Русский
Предмет:
Язык
Логика
Регистрационный номер:
[76-672]
Примечания:
Список лит.: с. 158-161 (81 назв.)
500 экз.
Местонахождение
Структура документа
BELMARC-запись
ОФХ отдела книгохранения
Всего : 1 , доступно: 1
Доступно
Заказать
Информация об экземплярах
Шифр
Фонд
Место нахождения
Статус экземпляра
Читальный зал
АЯ294632
ОФХ отдела книгохранения (039)
11:4:2:55
СВОБОДЕН
Рекомендованный ЧитЗал
Схожие документы
О промежуточном этапе при переводе с естественного языка на язык исчисления предикатов. - [М., 1961]. - 4 с.
Автор: Цейтин, Г. С.
Опубликовано: (1961)
Моделирование и минимизация систем знаний в терминах многозначной логики предикатов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.18 / Лютикова Лариса Адольфовна. - Самара, 2008. - 19 с.
Автор: Лютикова, Л. А.
Опубликовано: (2008)
Логика высказываний и логика предикатов: Пособие для семинар. и практ. занятий со студентами 1 курса мат. фак. / М-во высш. и сред. спец. образования РСФСР. Калинин. гос. ун-т. Кафедра высш. алгебры и геометрии. - Калинин, 1976. - 44 с.
Опубликовано: (1976)