( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PM: A Proof Manager for HOL and Other Provers.

, , и . TPHOLs, стр. 286-304. IEEE Computer Society, (1991)

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.

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

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

PM: A Proof Manager for HOL and Other Provers., , и . TPHOLs, стр. 286-304. IEEE Computer Society, (1991)Transformer-based Spatial-Temporal Feature Learning for EEG Decoding., , , и . CoRR, (2021)Robust Adaptive Beamforming Signal Techniques for Drone Surveillance., , , , , , и . SAM, стр. 582-586. IEEE, (2018)A Bibliometric Investigation of Flipped Classroom Research during 2000-2015., , и . Int. J. Emerg. Technol. Learn., 12 (6): 178-186 (2017)Fault Diagnosis of Harmonic Drive With Imbalanced Data Using Generative Adversarial Network., , , , , и . IEEE Trans. Instrum. Meas., (2021)The Development of UAV-based Air Quality Monitor System., , , и . ICEA, стр. 25:1-25:2. ACM, (2020)Video-Based Driver Drowsiness Detection With Optimised Utilization of Key Facial Features., , , , и . IEEE Trans. Intell. Transp. Syst., 25 (7): 6938-6950 (июля 2024)The Performance Analysis of Direct/Cooperative Transmission with TXOP Scheme in WLANs., , и . BWCCA, стр. 467-471. IEEE Computer Society, (2014)Trunk compensation electromyography features purification and classification model using generative adversarial network., , , , , и . Biomed. Signal Process. Control., (2021)Attacks and Threats Verification Based on 4G/5G Security Architecture., , , , и . IMIS, том 177 из Lecture Notes on Data Engineering and Communications Technologies, стр. 240-249. Springer, (2023)