Verification of logic circuits using Mizar and its application to an adder circuit on a radix-2kSD number

機関リポジトリ (HANDLE) Web Site オープンアクセス

書誌事項

タイトル別名
  • Verification of logic circuits using Mizar and its application to an adder circuit on a radix-$2^k$SD number (Topics in Information Sciences and Applied Functional Analysis)

この論文をさがす

説明

ファイル差し替え（2021/08/20）

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ