Home >

news Help

Publication Information


Title
Japanese:項内に束縛関係を持つ一階述語論理の構成 
English: 
Author
Japanese: 中村 知己, 鹿島 亮.  
English: Kazuki Nakamura, Ryo Kashima.  
Language Japanese 
Journal/Book name
Japanese:京都大学数理解析研究所 講究録 
English: 
Volume, Number, Page Vol. 2083       
Published date Aug. 2018 
Publisher
Japanese: 
English: 
Conference name
Japanese:RIMS 共同研究 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.