| Title: | AI issues |
| Moderator: | QED::EVANS |
| Created: | Fri Jan 31 1986 |
| Last Modified: | Mon Aug 19 1996 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 535 |
| Total number of notes: | 2268 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 208.1 | Computers and Thought | SLDA::OPP | Tue Oct 27 1987 13:10 | 8 | |
| 208.2 | Try Nilsson, N.J. | SLDA::OPP | Tue Oct 27 1987 13:17 | 10 | |
| 208.3 | Natural Deduction | ECADSR::FINNERTY | Thu Oct 29 1987 16:28 | 6 | |
| 208.4 | Resolution List | WME::MACOMBER | Tue Nov 03 1987 18:47 | 12 | |
| 208.5 | SAHQ::HENNESSY | John Hennessy, DTN 351-2476 | Wed Nov 04 1987 14:07 | 13 | |
| 208.6 | hope these help | HERON::BUCHANAN | Wed Nov 25 1987 08:18 | 24 | |
| 208.7 | BMTP is all over the place | COOKIE::WAHL | Dave Wahl | Thu Nov 26 1987 04:18 | 7 |
| 208.8 | CADE conferences | BIGNUM::GOKHMAN | Tue Dec 22 1987 03:39 | 6 |