News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.