Aller au contenu
Электронный каталог
Национальной библиотеки
Беларуси
Connexion
Русский
Белорусский
Английский
Deutsch
Español
Français
中文(繁體)
polski
Langue
Электронный каталог Национальной библиотеки Беларуси находится в тестовом режиме
Перейти в электронную библиотеку
Tous les champs
Titre
Auteur
Sujet
ISBN/ISSN
Rechercher
Recherche avancée
Формализация естественного язы...
Envoyer par courriel
Imprimer
Exporter les notices
Exporter vers RefWorks
Exporter vers EndNote
Exporter vers MARC
Exporter vers MARCXML
Exporter vers BibTeX
Ajouter aux favoris
Заказать документ через ЭДД
Язык и логика / Р. Й. Павилёнис. Ч. 1 : Формализация естественного языка в терминах исчисления высказываний и исчисления предикатов первой степени
Enregistré dans:
Шифр документа:
АЯ294632,
Format:
Книги
Publié:
1975
Description matérielle:
166 с.
Langue:
Русский
Sujets:
Язык
Логика
Регистрационный номер:
[76-672]
Notes:
Список лит.: с. 158-161 (81 назв.)
500 экз.
Exemplaires
Contexte
Affichage MARC
ОФХ отдела книгохранения
Всего : 1 , доступно: 1
Disponible
Réserver
Информация об экземплярах
Шифр
Фонд
Место нахождения
Статус экземпляра
Читальный зал
АЯ294632
ОФХ отдела книгохранения (039)
11:4:2:55
СВОБОДЕН
Рекомендованный ЧитЗал
Documents similaires
О промежуточном этапе при переводе с естественного языка на язык исчисления предикатов. - [М., 1961]. - 4 с.
par: Цейтин, Г. С.
Publié: (1961)
Моделирование и минимизация систем знаний в терминах многозначной логики предикатов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.18 / Лютикова Лариса Адольфовна. - Самара, 2008. - 19 с.
par: Лютикова, Л. А.
Publié: (2008)
Логика высказываний и логика предикатов: Пособие для семинар. и практ. занятий со студентами 1 курса мат. фак. / М-во высш. и сред. спец. образования РСФСР. Калинин. гос. ун-т. Кафедра высш. алгебры и геометрии. - Калинин, 1976. - 44 с.
Publié: (1976)