researchmap
 
Featured Researcher
Kyoto Institute of Technology
Osamu Mizuno is an Associate Professor in Graduate School of Science and Technology, Kyoto Instit...
 

正当なCSSです!

 


JST Home Page
 

Research Interests  [ Theorem Proving ]

7 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

  • <
  • >