Mechanized Mathematics and Its Applications
Volume 7, Number 1-2, 2008

Table of Contents

  1. Use of Mizar in Logic Education
    by Mitsutaka Noguchi
  2. Several Classes of BCI-algebras and Their Properties
    by Yuzhong Ding and Guozhu Liu
  3. Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits
    by Katsumi Wasaki

(Last updated: September 2008)