共 29 条
[1]
ALLWEIN G, 1996, LOGICAL REASONING DI
[2]
[Anonymous], 1994, HYPERPROOF
[3]
[Anonymous], SOFTWARE AGENTS
[4]
[Anonymous], 1995, VLDB J
[5]
BARKERPLUMMER D, 1994, P 1 C INF MULT MULT
[6]
BRADSHAW JM, 1997, SOFTWARE AGENTS, P375
[7]
BRADSHAW JM, 1999, ED SMART MACHINES
[8]
BRADSHAW JM, 1993, KNOWL ACQUIS, P287
[9]
BRADSHAW JM, 1999, IN PRESS ACM INTERAC
[10]
BREITER P, 1996, P ECAI 96 WORKSH AG, P261