Informatics2020
PARALLELISM IN LOGICAL INFERENCE DURING ITS AUTOMATION
Aleksandr Shajkin, О. В. Аверина, Vladimir R. Babaev, Marina Lebedeva, Tatyana Khlynova · SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 20th International Multidisciplinary Scientific GeoConference Proceedings SGEM 2020, Informatics, Geoinformatics and Remote Sensing