LARARL

Acronym	Definition
LARARL➣Logic for Automated Reasoning and Automated Reasoning for Logic (Workshop)

随便看

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。