杂志的逻辑和代数编程 JLAP（J LOGIC ALGEBR PROGR） - 期刊详情 | DeepEvidence