論理理論マシン

【ろんりりろんましん】

論理理論マシン

读成： ろんりりろんましん
中文： 逻辑推理机、逻辑理论机