| Conference | Total Posts | Conference Title |
|---|---|---|
| cscma::art | 2 | Automated Reasoning Tool |
| turris::lisp | 1 | LISP |
| TOPIC | 33.0 | Mon Sep 19 1988 06:14 | ART: better on TI or VAX? | 24 lines |
| 33.3 | Mon Sep 26 1988 11:47 | 22 lines |
| TOPIC | 846.0 | Mon Sep 19 1988 12:09 | Lucid-Lisp/Database/TI-Explorer/ART | 12 lines |
| First Post: | Mon Sep 19 1988 |
| Last Post: | Mon Sep 26 1988 |
| # Topics: | 2 |
| # Replies: | 1 |
| # We have note bodies for: | 0 |