Reified Input/Output logic [29] has been recently proposed to handle natural language meaning in Input/Output logic [17].
確定! 回上一頁