单项选择题

用邻接矩阵表示无向图属于计算机学科方法论的三个过程中的()。

A.抽象
B.理论
C.实验和论证
D.自动化设计及实现