検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：Méry, Dominique
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings : hardback 太秦南館Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer2021太秦南館:５階閲覧室 007.04||I48
選択行を
▲ページトップへ