News for hackers. Stuff that matters.

A comment on Graph Representations for Higher-Order Logic and Theorem Proving (2019). Parent comment

Re:Graph Representations for Higher-Order Logic and Theorem ... by neolog on Sunday September 06, 2020 @07:15AM (#24390573)
Where can I read more about this?
[ Parent | on HN ]

There are no comments on this comment yet.