[´ëÇб³Àç/Àü¹®¼Àû] 'Computation, Proof, Machine'
Gilles Dowek ÀúICambridge University PressI2017.09.11
186,000¿ø
9,300P (5%)