人工智能 自动推理 释文 instance-based theorem proving 基于实例的定理证明
- Peshawar
- Pesin
- Pesin theory
- pessimistic criterion
- pessimistic philosophy of life
- pessmistic explanatory style
- pessulus
- pest
- pest agricultural control
- pestalotiopsis needle blight of pine
- PEST analysis
- pest control operation
- Pest Control Science of Grassland：Volume Ⅰ——Grassland Rodents Science
- pest coordinate regulation
- pest damage level prediction
- pest development regulation
- peste des petits ruminants
- peste des petits ruminants virus，PPRV
- pest field diagnostic technology
- pest genetic control technology
- pest high-throughput detection technique
- pesticide
- pesticide analysis
- pesticide analysis method
- pesticide formulation