Basic Proof Techniques (2010)
https://www.cse.wustl.edu/~cytron/547Pages/f14/IntroToProofs_Final.pdf
6p
https://www.cse.wustl.edu/~cytron/547Pages/f14/IntroToProofs_Final.pdf
6p
Algorithms and Data Structures / The Basic Toolbox (2007)
300쪽
https://people.mpi-inf.mpg.de/~mehlhorn/ftp/Mehlhorn-Sanders-Toolbox.pdf
300쪽
https://people.mpi-inf.mpg.de/~mehlhorn/ftp/Mehlhorn-Sanders-Toolbox.pdf