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