×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
小野 陽子
オノ ヨウコ (Yoko Ono)
更新日: 04/16
ホーム
研究キーワード
研究分野
経歴
委員歴
MISC
書籍等出版物
講演・口頭発表等
所属学協会
共同研究・競争的資金等の研究課題
講演・口頭発表等
1
表示件数
20件
20件
50件
100件
Generation of Propositions in Isabelle/HOL
H. Kobayashi, Y. Ono
代数系、論理、言語と計算機科学 2019年2月21日
メニュー
マイポータル
研究ブログ
資料公開