From | Subject | Received |
mmt@dciem.UUCP (Martin Taylor) |
International Workshop on Multimodal Dialogue Structure
|
Mon, 16-Sep-85 17:19:08 EDT |
alf@ttds.UUCP (Alf Thomas Sj|land) |
Comments to FOOLOG and Hewitt vs. Logic.
|
Wed, 18-Sep-85 02:47:27 EDT |
gauchs@unc.UUCP (Susan E. Gauch) |
Online Database
|
Thu, 19-Sep-85 03:57:24 EDT |
kcp@bmcg.UUCP (Kenneth Pao) |
Second request FRANZ LISP for Sys V
|
Thu, 19-Sep-85 06:06:43 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #123
|
Fri, 20-Sep-85 04:19:15 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #124
|
Fri, 20-Sep-85 04:23:15 EDT |
ysc@oce-rd2.UUCP (IJme Schilstra) |
Prolog-course
|
Sat, 21-Sep-85 11:13:07 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #125
|
Sun, 22-Sep-85 05:48:26 EDT |
jbn@wdl1.UUCP |
SRI verification work reviewed
|
Sun, 29-Sep-85 08:26:03 EDT |
jbn@wdl1.UUCP |
Re: SRI verification work reviewed
|
Sun, 29-Sep-85 08:26:17 EDT |
os@cstvax.UUCP (Oliver Schoett) |
Re: Re: Program Specification Languages
|
Mon, 30-Sep-85 02:06:31 EDT |
johnson@uiucdcsp.CS.UIUC.EDU |
Re: SRI verification work reviewed
|
Wed, 2-Oct-85 09:40:17 EDT |
mklein@uiucdcsb.CS.UIUC.EDU |
Expert Systems Info Wanted
|
Wed, 2-Oct-85 09:41:40 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #129
|
Thu, 3-Oct-85 06:09:42 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #131
|
Thu, 3-Oct-85 06:42:27 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #130
|
Thu, 3-Oct-85 07:21:24 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #133
|
Sat, 5-Oct-85 03:08:49 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #132
|
Sat, 5-Oct-85 03:16:41 EDT |
AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) |
AIList Digest V3 #134
|
Sat, 5-Oct-85 14:51:20 EDT |
reddy@uiucdcs.CS.UIUC.EDU |
Re: Re: Program Specification Langu
|
Sun, 6-Oct-85 14:58:42 EDT |