Ke Li
· 40 obras en el catálogo
Obras

Approximate and optimal strategies for non-ambiguous and left linear term rewriting systems

Chen Gongbo (Zhong gong yi da dai biao cong shu)

Complexity of term rewriting

Dag representation and optimization of rewriting
Deng Xiaoping li lun yu Zhongguo fa zhan zhan lue

Lao She zai Xiagongfu
Lou jie
Mei li Henan
"Wen hua da ge ming" zhong di ren min jie fang jun
Zhengdong Xinqu zong ti gui hua pian

Du Lala sheng zhi ji =

Du Lala sheng zhi ji 2.

Du Lala 3
Qi Jiguang zhi
Du Lala zhi si shui nian hua
