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)

IR (HANDLE) Web Site Open Access

Bibliographic Information

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

Search this article

Description

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

Journal

Details 詳細情報について

Report a problem

Back to top