The notion of effective calculability arose from logical research, ... notion of algorithm formalized by systems of recursive equations ...
確定! 回上一頁