( en | de | ru )

 

Disambiguation of "Cao, Feng"

Author of the publication

copydeleteadd this publication to your clipboard
Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic.

, , , and . ISKE, page 1-5. IEEE, (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Yang Cao

Jingjing Cao

Yude Cao

Weixun Cao

Ou Cao

 

Other publications of authors with the same name

BER Analysis of Physical-Layer Network Coding in the AWGN Channel With Burst Pulses., , , and . IEEE Access, (2016)Parity-Check Coding Transmit Diversity for Wireless Communications With High Mobility., , , and . IEEE Trans. Veh. Technol., 71 (2): 1737-1749 (2022)Adaptive Fuzzy Inverse Optimal Control for A Class of Two Order Nonlinear Systems., , , and . SPAC, page 268-272. IEEE, (2018)Learning by Experimentation in a Robot World., and . SCAI, volume 4 of Frontiers in Artificial Intelligence and Applications, page 177-184. IOS Press, (1989)Discrete differential evolution algorithm for distributed blocking flowshop scheduling with makespan criterion., , and . Eng. Appl. Artif. Intell., (2018)Biased Bit Commitment and Applications., , , , and . J. Inf. Sci. Eng., 24 (2): 441-452 (2008)Optimal Transmission Schedules for Lightwave Networks Embedded with De Bruijn Graphs., and . Theor. Comput. Sci., 222 (1-2): 113-131 (1999)Intelligent Insect-Computer Hybrid Robot: Installing Innate Obstacle Negotiation and Onboard Human Detection onto Cyborg Insect., , , , , , , , , and 2 other author(s). Adv. Intell. Syst., (May 2023)WheelNet: Weakly-Supervised Multi-Contrastive Learning for Predicting Vulnerable Coronary Atherosclerosis Plaques from Coronary Computed Tomography Angiography., , , , , , , , and . BIBM, page 1965-1970. IEEE, (2023)Identification of angiogenesis and viable myocardium using hybrid cardiac imaging., , , , and . Medical Imaging: Image-Guided Procedures, volume 10951 of SPIE Proceedings, page 1095128. SPIE, (2019)