ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
出典:Wikipedia
出典:『Wikipedia』 (2011/01/22 15:09 UTC 版)
Logical Methods in Computer Science (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived in 2004. The first volume appeared in 2005.
Logical Methods in Computer Science