Запис Детальніше

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення

OAI-PHP Catalog

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
 
Creator Нікітченко, М.С.
Шкільняк, С.С.
 
Language Ukrainian
 
Publisher Інститут програмних систем НАН України
 
Date 2003
 
Subject Теоретические и методологические основы программирования
 
Identifier https://oai.org.ua/vufind/Record/irk-123456789-1293