Unity of Logic and Computation Gianluca Della Vedova, Besik Dundua, Steffen Lempp & Florin Manea의 도서 더 보기

Beyond the Horizon of Computability

2020년