维基词典

natural deduction system


  • 正體: 自然演繹系統[電子計算機]
来自“https://zh.wiktionary.org/w/index.php?title=natural_deduction_system&oldid=834726”