1
Publications
1.8K
Citations
1
H-Index
1980
Active since
悦朗 守屋 is an author specializing in theory of computing, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningTheory Of ComputingMathematical Foundations
Publications per year
1980–1980
1
1
Rows per page
1–1 of 1