Метод взаимной проверки аксиоматических базисов
dc.contributor.author | Харлап, С. Н. | |
dc.contributor.author | Сивко, Б. В. | |
dc.date.accessioned | 2024-06-12T10:38:31Z | |
dc.date.available | 2024-06-12T10:38:31Z | |
dc.date.issued | 2015 | |
dc.identifier.other | УДК 004.052.2 | |
dc.identifier.uri | http://elib.bsut.by:8080/xmlui/handle/123456789/10067 | |
dc.language.iso | other | ru |
dc.publisher | БелГУТ | ru |
dc.subject | Аксиоматические базисы | ru |
dc.title | Метод взаимной проверки аксиоматических базисов | ru |
dc.type | Article | ru |