[Acm-announce] SIG Math Coding - GitLab & other links

[Jasmine Otto]

Hi all,

The current projects of SIG Math Coding will be up on our repository
shortly.
https://gitlab.com/jasminium.lutris/SIG-MathCoding

Links to semantic reasoning software (in Prolog) mentioned today:
http://cognition.ouc.ac.cy/cclab/index.php/2012-12-25-07-35-20/star
http://www.mind.ilstu.edu/research/pt/aboutpt.php

Best,
Jasmine Otto
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://acm.cs.uic.edu/pipermail/acm-announce/attachments/20161020/de2f2a32/attachment.html>