researchmap
 
Featured Researcher
Tokyo Metropolitan Institute of Medical Science
 

正当なCSSです!

 


JST Home Page
 

Research Interests  [ Theorem Proving ]

8 items found


  • <
  • >
  • Japan Advanced Institute of Science and Technology
  • Former Institution / Organization University of Tsukuba Graduate School of Systems and Information Engineering
    Assistant Professor
  • Japan Science and Technology Agency
    ACT-I Researcher
  • Kanagawa University
    Research Institute for Programming Science  
  • Ochanomizu University
    学部教育研究協力員
  • Kyushu University
    Institute of Mathematics for Industry  
  • Tottori University of Environmental Studies
    General Education Center  

  • <
  • >