JAIST Repository > Education and Reseach Center for Trustworthy e-Society 2004-2016 > JAIST PRESS Publications >
COE Research Monograph Series, Vol. 2 : 法令工学の提案
COE Research Monograph Series, Vol. 3 : オントロジーを用いた法的知識からの不整合の検出
COE Research Monograph Series, Vol. 1 : オブジェクト指向理論によるファイアーウォールサーバの検証