Symbolic-Computational Methods in Combinatorial Game Theory and Ramsey Theory. by Thotsaporn (Aek) Thanatipanonda