JAIST Repository >

Items for Author "近藤, 援"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Date of IssueTitle Authors
Mar-1998 直観主義様相論理における cut 除去定理とその応用近藤, 援; こんどう, たすく

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)