論理理論マシン

[ろんりりろんましん] [ronririronmasin]

論理理論マシン

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