First Page | Document Content | |
---|---|---|
Date: 2016-10-11 13:29:11 | Call for Papers Special issue of the AI Communications journal on Automated Reasoning IMPORTANT DATES Abstract submission: January 8, 2017Add to Reading ListSource URL: cs.ru.nlDownload Document from Source WebsiteFile Size: 287,84 KBShare Document on Facebook |