Proving self-utterances
| Title | Proving self-utterances |
| Publication Type | Journal Articles |
| Year of Publication | 1987 |
| Authors | Miller M, Perlis D |
| Journal | Journal of Automated Reasoning |
| Volume | 3 |
| Issue | 3 |
| Pagination | 329 - 338 |
| Date Published | 1987/// |
| Title | Proving self-utterances |
| Publication Type | Journal Articles |
| Year of Publication | 1987 |
| Authors | Miller M, Perlis D |
| Journal | Journal of Automated Reasoning |
| Volume | 3 |
| Issue | 3 |
| Pagination | 329 - 338 |
| Date Published | 1987/// |