人工智能 自动推理 释文 ordered binary decision diagram, OBDD 有序二元决策图
- Space Ground Station
- space group
- space group extinction
- space-group maximum
- space harmonic
- space harmonics
- Space headway
- space heavy ion
- space height of boiler steam
- space hierarchy theorem
- space human factors engineering
- space human-rating evaluation
- space human reliability
- space hypoxia tolerance
- space in duality
- space industry
- Space Industry Standardization Technical Committee
- Space Infrared Telescope Facility
- Space Infrared Telescope for Cosmology and Astrophysics
- space instrumentation
- space insurance
- space integral
- space intelligence
- space intelligence products
- space in the frame