Cubic interpretation of resolution principle for propositional calculas
| dc.contributor.author | Semerenko, V. P. | en |
| dc.date.accessioned | 2016-06-06T09:38:36Z | |
| dc.date.available | 2016-06-06T09:38:36Z | |
| dc.date.issued | 1996 | |
| dc.description.abstract | Interpretation of resolution principle which is able to realize the resolution procedure for any formula of propositional calculas during finite time and with the possibility of parallel computing are considered | en |
| dc.identifier.citation | Semerenko V. P. Cubic interpretation of resolution principle for propositional calculas [Text] / V. P. Semerenko // International Journal on Information Theories & Applications. – 1996. - Vol. 4, No. 3. – P. 25–33. | en |
| dc.identifier.udc | 681.3 | |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/11547 | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Institute for Information Theories and Applications | en |
| dc.subject | artificial intelligence | en |
| dc.subject | propositional calculas | en |
| dc.subject | boolean algebra | en |
| dc.subject | resolution principle | en |
| dc.subject | parallel processing | en |
| dc.title | Cubic interpretation of resolution principle for propositional calculas | en |
| dc.title.alternative | Кубическая интерпретация принципа резолюций для исчисления высказываний | ru |
| dc.title.alternative | Кубічна інтерпретація принципу резолюцій для числення висловлювань | uk |
| dc.type | Article |
Файли
Контейнер файлів
1 - 1 з 1
Вантажиться...
- Назва:
- bolgaria_1996.pdf
- Розмір:
- 119,35 KB
- Формат:
- Adobe Portable Document Format
- Опис:
Ліцензійна угода
1 - 1 з 1
Вантажиться...
- Назва:
- license.txt
- Розмір:
- 2,14 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: