JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "Kikuchi, kentaro"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 1 items.

Date of Issue	Title	Authors
10-Nov-1999	Cut-free sequent calculi for Visser's propositional logics	Kikuchi, kentaro

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