トップページ
|
北陸先端科学技術大学院大学
|
附属図書館
全て
教員登録文献
詳細検索
一覧
コミュニティ
& コレクション
タイトル
著者
日付
学位論文
リサーチレポート・テクニカルメモランダム
登録利用者:
登録者ページ
利用者(E-people)
ヘルプ
当システムについて
JAIST Repository
>
著者: "Miyazaki, Yutaka"
「一覧: 著者」画面に戻る
タイトル順ソート
日付順ソート
7 著者名表示.
発行日
タイトル
著者
28-Jan-1999
The super-amalgamation property of the variety of ortholattices
Miyazaki, Yutaka
30-Apr-1999
量子モンテカルロ法による1次元Heisenberg spin modelのシミュレーションおよ
宮崎, 裕
;
Miyazaki, Yutaka
;
ミヤザキ, ユタカ
21-Oct-1999
Kripke-style semantics of orthomodular logics
Miyazaki, Yutaka
24-Nov-1999
Fixpoint formulation of the completion problem of orthomodular lattices
Miyazaki, Yutaka
4-Jun-2001
The predicate extension of the minimum orthologic
Miyazaki, Yutaka
19-Mar-2002
Some properties of orthologics
Miyazaki, Yutaka
22-Jul-2002
There exists a continuum of normal modal logics over KTB
Miyazaki, Yutaka
お問い合わせ先 :
北陸先端科学技術大学院大学 研究推進課図書館情報係