|
JAIST Repository >
検索結果
検索結果表示: 51-60 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 6-Jul-1994 | Recovery management in multiversion objects | Nakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ |
| 14-Mar-1995 | Approximating set cover via local improvements | Halldorsson, Magnus M. |
| Sep-1995 | Glueing of algebras for substructural logics | Shirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ |
| 14-Mar-1995 | Approximations via partitioning | Halldorsson, Magnus M. |
| 9-Jan-2007 | Pathway alignment through contxt similarity | Clemente Litran, Jose Carlos |
| Sep-1996 | Advanced modal logic | Zakharyaschev, Michael; Wolter, Frank; Chagrov, Alexander |
| 14-Jun-1996 | An improved strategy for a pursuit-evasion problem on grids | Tanaka, Keisuke; 田中, 圭介; タナカ, ケイスケ |
| Mar-1996 | JAIST-REPORT completeness of semantic paramodulation : a category-based approach | Diaconescu, Razvan |
| 3-Dec-1997 | Modality in open institutions with concrete syntax | Diaconescu, Razvan; Stefaneas, Petros |
| Jan-1997 | Varieties of monadic Heyting algebras. Part 2 : Duality theory | Bezhanishvili, Guram |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
次へ
|
