( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.

, , , , , , , , , , , , , , , , , , , и . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yanjun Xie

Yanjun Pan

Yanjun Zhang

Yanjun Zhang

Yanjun Sun

 

Другие публикации лиц с тем же именем

Multi-Scene Safety Helmet Detection with Multi-Scale Spatial Attention Feature., , , и . IC-NIDC, стр. 21-25. IEEE, (2021)FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning., , , , , , , , , и 10 other автор(ы). CoRR, (2023)A spatial overlay analysis method for three-dimensional vector polyhedrons., , , , и . Geoinformatics, стр. 1-5. IEEE, (2010)The strong El Niño of 2015/16 and its dominant impacts on global and China's climate, , , , , , , , и . 30 (3): 283--297 (2016)Application of Intelligent Fuel Management System Based on the Eurosilo in Thermal Power Plants., , , , , , , , и . DTPI, стр. 1-5. IEEE, (2023)Operation Optimization of Air Cooling System Based on Random Forest Algorithm., , , , , , , , , и . DTPI, стр. 1-7. IEEE, (2023)Micro-expression recognition based on local binary patterns from three orthogonal planes and nearest neighbor method., , , и . IJCNN, стр. 3473-3479. IEEE, (2014)Fog-Enabled WLANs for Indoor Positioning., , , , и . VTC Spring, стр. 1-5. IEEE, (2019)Road Vehicle Detection Based on Feature Fusion Between Frames., , , и . ICCIR, стр. 635-638. ACM, (2022)Dynamic Workshop Scheduling and Control Based on a Rule-Restrained Colored Petri Net and System Development Adopting Extended B/S/D Mode., , , , и . APWeb Workshops, том 3842 из Lecture Notes in Computer Science, стр. 702-708. Springer, (2006)