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