Yongmei Liu

孙中山在梧州

孙中山在梧州

2011

Foundations and applications of MIS

2006

Tractable reasoning in incompl

Tractable reasoning in incomplete first-order knowledge bases

2006

Hoare logic for GOLOG programs

Hoare logic for GOLOG programs

2000