[Pay Per View]  購入論文確認


Vol/No/タイトル/著者 論文数 価格(税込)
Vol.J89-D No.4
時相論理の充足可能性判定器のための論理式生成法
関澤 俊弦, 高井 利憲, 田辺 良則, 高橋 孝一,
1 ¥3240
合計: ¥3,240