The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are ...
確定！ 回上一頁
