Contents Menu

On the Machine-Proof of any Equation in Free Lattices

Journal of the Faculty of Liberal Arts, Yamaguchi University Volume 3 Page 63-74
published_at 1969-11
Title
自由束における等式の機械証明について
On the Machine-Proof of any Equation in Free Lattices
Creators Tamura Saburo
Creators Fukuda Toshihiro
Source Identifiers
Languages jpn
Resource Type departmental bulletin paper
Publishers 山口大学教養部
Date Issued 1969-11
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0387-4060
[NCID]AN00244137
Schools 教養部