researchmap
 

Research Interests  [ Intuitionistic Logic ]

4 items found


  • <
  • >
  • Japan Advanced Institute of Science and Technology
    School of Information Science, Department of Information Science  
  • (handle_0022)
    Hosei University
    Faculty of Science and Engineering, Department of Applied Informatics  
    Research Associate
  • Japan Advanced Institute of Science and Technology
  • Waseda University
    Institue for Advanced Study  

  • <
  • >