Thread Tree View: sci.logic
8 messages
Depth: 4
Build time: 606.515965msms
| 8 messages | Max depth: 4
Thread Tree
8 nodes
max depth: 4
4 leaves
Root Message
Programs for simple logic proofs: where are they?
From: Mike Brown
Date: Thu, 12 Nov 1992 05:30
Article: 351
Message-ID: <4804@equinox.unr.edu>
Debug Information
Tree Statistics
- Root Article: 351
- Message Count: 8
- Max Depth: 4
- Cache Hit: No
- Build Time: 606.515965ms
Thread Root
- Subject: Programs for simple logic proofs: where are they?
- From: Mike Brown
- Date: Thu, 12 Nov 1992 05:30
- Article: 351