Font Size: a A A
Keyword [First-Order]
Result: 1 - 20 | Page: 1 of 10
1. Compressed Sensing-based Imaging Methods For High-Resolution Radar
2. The Quantitative Study In First-Order Logic System
3. The Fast Algorithm Of Discrete Signal Transforms Based On The First-order Moments
4. Genetic Inductive Logic Programming Research
5. Theoretical And Numerical Studies On HF Scattering Of Targets On Or Above The Sea Surface
6. Model Checking And Testing Of Concurrent Systems
7. Research On Cross-correlated Noise Problems And Correlated Effects Of Quantum Noise In A Laser
8. Study On Uncertainty Reasoning In Lattice-Valued First-Order Logic Lvfl Based On Lattice Implication Algebra
9. Research On Some Problems Of Statistical Relational Learning
10. The Research On The Extension Rule Based Theorem Proving
11. Study On Temporal Role Delegation Graph Model And Its Analysis
12. The Study Of Approximate Reasoning In Lattice-Valued Logic Based On Lattice Implication Algebra
13. Research On Stability Of Delayed Neural Networks And Complex Network Synchronization
14. Study Of Ocean Currents Detection With HF Ground Wave Over-the-Horizon Radar
15. Modeling And Control Of Flexible Multibody Systems
16. Consistency Checking Of Graphic Models
17. Research On Some Automated Reasoning Methods For Logic
18. Study Of Active Disturbance Rejection Controller Based On Field-bus
19. Computational Study Of Motion Perception
20. Specific Areas Of The Formalization Of The Modeling Language And Its Model Consistency Validation Studies
  <<First  <Prev  Next>  Last>>  Jump to