Re:LangPro: Natural Language Theorem Prover
by fspeech on Friday September 01, 2017 @01:28AM
(#15146349)
Search for the author's home page, which has a link to his Ph.D. dissertation. The thesis provides a lot more background material and examples.
[ Parent
| on HN ]
There are no comments on this comment yet.