Studies in Science and Technology
Online ISSN : 2187-1590
Print ISSN : 2186-4942
ISSN-L : 2187-1590
Feature Article
On explainability in digital computing environments
From the view of logical verification and proof assistants
Mitsuhiro Okada
Author information
JOURNAL OPEN ACCESS

2025 Volume 14 Issue 1 Pages 5-12

Details
Download PDF (670K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 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/
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top