Login / Signup
Zhaokeng Zhao
Publication Activity (10 Years)
Years Active: 1988-1994
Publications (10 Years): 0
</>
Publications
</>
Zhaokeng Zhao
,
Jun Dai
,
Wendan Chen
Automated theorem proving in temporal logic: T-resolution.
J. Comput. Sci. Technol.
9 (1) (1994)
Wei Qian
,
Zhaokeng Zhao
Temporal Reasoning Management with Nonmonotonicity.
IFIP Congress
(1989)
Wei Qian
,
Zhaokeng Zhao
Temporal Reasoning in Data Base.
DS-3
(1988)