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