[Om-announce] CFA International Symposium on ARC

ARC Info UVT teo.grumeza at gmail.com
Sun Jul 3 15:38:58 CEST 2022


The international Erasmus+ European Project ARC – Automated Reasoning in the Class
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20220703/2337f86e/attachment-0001.htm>


More information about the Om-announce mailing list