Theorem Provers as Question Answerers

Jared L. Darlington. Theorem Provers as Question Answerers. In IJCAI. pages 317-318, 1969.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.