人工智能 自动推理 释文 instance-based theorem proving 基于实例的定理证明
- magnetic anomaly
- magnetic anomaly inversion
- magnetic anomaly processing
- magnetic anomaly vector
- magnetic antenna
- magnetic arc
- magnetic arcade
- magnetic arm
- magnetic association
- magnetic attraction
- magnetic axis
- magnetic azimuth
- magnetic balance
- magnetic barkhausen noise method
- magnetic base station
- magnetic beach
- magnetic beneficiation machinery
- magnetic binary
- magnetic biomaterials
- magnetic birefringence
- magnetic blow circuit breaker
- magnetic borehole logging instrument
- magnetic bottle
- magnetic braking
- magnetic Bravais lattices