×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
髙橋 和子
タカハシ カズコ (Kazuko Takahashi)
更新日: 2022/09/06
ホーム
研究キーワード
研究分野
経歴
学歴
受賞
MISC
書籍等出版物
所属学協会
Works(作品等)
共同研究・競争的資金等の研究課題
研究キーワード
8
プログラム検証
様相論理
知識情報処理
計算機科学
Program Verification
Modal Logic
Knowledge Information Processing
Computer Science
メニュー
マイポータル