Author Info
Name
Papers
Collaborators
MASAHIRO SAKAI
2
5
Citations 
PageRank 
Referers 
1
0.68
4
Referees 
References 
80
20
Title
Citations
PageRank
Year
Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning.10.352018
Improvement Rendering of Web3D Using the Shading Language.00.342008