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