Login / Signup
Xinran Ning
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 6
Top Topics
Convolutional Neural Network
Theorem Prover
Preprocessing
Predicate Calculus
Top Venues
Symmetry
ISKE
Neural Comput. Appl.
计算机科学
</>
Publications
</>