resolution theorem proving的意思|示意
美 / ˌrezəˈlu:ʃən ˈθi:ərəm ˈpru:viŋ /
英 / ˌrɛzəˈluʃən ˈθiərəm ˈpruvɪŋ /
[计] 归结定理证明