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
教養部