共 18 条
[1]
NONCLAUSAL DEDUCTION IN 1ST-ORDER TEMPORAL LOGIC
[J].
JOURNAL OF THE ACM,
1990, 37 (02)
:279-317
[2]
[Anonymous], MODERN DATABASE SYST
[4]
Bricker LJ, 1995, PROCEEDINGS OF CSCL '95 - THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SUPPORT FOR COLLABORATIVE LEARNING, P32, DOI 10.3115/222020.222049
[5]
Brownston L., 1985, PROGRAMMING EXPERT S
[6]
GIBIS - A HYPERTEXT TOOL FOR EXPLORATORY POLICY DISCUSSION
[J].
ACM TRANSACTIONS ON OFFICE INFORMATION SYSTEMS,
1988, 6 (04)
:303-331
[7]
DAVIE LE, 1987, P 2 GUELPH S COMP C, P11
[9]
HILTZ SR, 1994, VIRTUAL CLASSROOM LE
[10]
IBRAHIM B, 1994, P 1 INT WORLD WID WE