Logical Methods in Computer Science is an open-access journal, covered by SCOPUS, DBLP, Web of Science, Mathematical Reviews and Zentralblatt.
確定! 回上一頁