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