Donetsk National Technical University
Please use this identifier to cite or link to this item:
https://ea.donntu.edu.ua/jspui/handle/123456789/18975| Title: | Алгоритм резолюций в логике высказываний при 0-1-ном представлении дизъюнктов |
| Authors: | Грунский, И.С. Волченко, М.В. Grunckiy, I.S. Volchenko, M.V. |
| Issue Date: | 2010 |
| Publisher: | Москва, Физматлит |
| URI: | http://ea.donntu.edu.ua/handle/123456789/18975 |
| Appears in Collections: | Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| CAI_2011.pdf | 927,83 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.