-
1Academic Journal
Συγγραφείς: В.И. Межуев, В.І. Межуєв, V.I. Mezhuyev
Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2010. — № 2(24). 79-84 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2010. — № 2(24). 79-84 ; Scientific Works of Kharkiv National Air Force University. — 2010. — № 2(24). 79-84 ; 2073-7378
Θεματικοί όροι: Кібернетика та системний аналіз, УДК 4.4, предметно-ориентированное моделирование, векторная логика, геометрическое доказательство теорем, предметно-орієнтоване моделювання, векторна логіка, геометричний доказ теорем, domain-specific modelling, vector logic, geometrical theorem proving
Περιγραφή αρχείου: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/2643/zhups_2010_2_20.pdf; http://www.hups.mil.gov.ua/periodic-app/article/2643
Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/2643