×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
山崎 進
ヤマサキ ススム (Susumu Yamasaki)
更新日: 2020/05/19
ホーム
研究キーワード
研究分野
MISC
書籍等出版物
所属学協会
共同研究・競争的資金等の研究課題
共同研究・競争的資金等の研究課題
8
表示件数
20件
20件
50件
100件
認識系の論理
不動点意味論
イベント計算系
非単調論理
Epistemic logic
Fixpoint Semantics
Event-Calculus
Nonmonotonic Logic
メニュー
マイポータル