researchmap
 

Research Interests  [ Automated Deduction ]

2 items found


  • <
  • >
  • Waseda University
    Department of Computer Science and Engineering  
    Professor
  • Shimane University
    Interdisciplinary Faculty of Science and Engineering, Department of Information Systems Design and Data Science  

  • <
  • >