单词 Logic Program Theorem Prover 释义 SeeLPTP 英汉缩略语词收录了1186255条英文缩写词条,提供最新英文缩写(缩略词)查询及其意思解释,包括月份的英文缩写,有限公司英文缩写等英文缩略词。 相关内容:“Logic Program Register”缩略“Logic Programming in Knowledge Representation and Reasoning”缩略“настольный теннис”俄汉翻译“Logic Programming and Soft Computing”缩略“Logic Programming and Non Monotonic Reasoning”缩略