OREJAS F について
Univ. Polit. Cataluna, Barcelona, ESP について
NAVARRO M について
Univ. Pais Vasco, San Sebastian, ESP について
S<span style=text-decoration:overline>A ́</span>NCHEZ A について
Univ. Pais Vasco, San Sebastian, ESP について
Lecture Notes in Computer Science について
仕様記述 について
計算理論 について
計算機システム開発 について
等価性 について