科学・技術研究
Online ISSN : 2187-1590
Print ISSN : 2186-4942
ISSN-L : 2187-1590
特集
On explainability in digital computing environments
From the view of logical verification and proof assistants
Mitsuhiro Okada
著者情報
ジャーナル オープンアクセス

2025 年 14 巻 1 号 p. 5-12

詳細
PDFをダウンロード (670K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 2025 Society for Science and Technology

This article is licensed under a Creative Commons [Attribution-NonCommercial-NoDerivatives 4.0 International] license.
https://creativecommons.org/licenses/by-nc-nd/4.0/
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top