逻辑和代数方法在编程杂志 JLAMP（J LOG ALGEBR METHODS） - 期刊详情 | DeepEvidence