FromSubjectReceived
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