Concepedia
2
Publications
571
Citations
H-Index
1965
Active since
Yasuyuki Imai is an author specializing in formal methods, automated reasoning, and engineering.
Top concepts
EngineeringFormal MethodsAutomated Reasoning
Publications per year
1965–1966
On axiom systems of propositional calculi, XIV
Yasuyuki Imai, Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 1966 · 543 citations · Full text
Engineering, Automated Reasoning, Propositional Logic +4
On axiom systems of propositional calculi, I
Yasuyuki Imai, Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 1965 · 28 citations · Full text
Rows per page
1–2 of 2