|
JAIST Repository >
検索結果
検索結果表示: 71-80 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 6-May-1997 | A parallel learning algorithm to compensate hardware defects for Kohonen's SOM | Yamamori, Kunihito; Horiguchi, Susumu |
| 1-Aug-1997 | Tree lifting orderings for termination transformations of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito |
| Nov-1997 | Splitting monadic heyting algebras | Bezhanishvili, Guram |
| Sep-1997 | A family of substructural implicational logics | Kashima, Ryo; Kamide, Norihiro |
| 4-Nov-1997 | Propositional calculus with identity | Ishii, Tadao |
| 25-Jul-1997 | Single-machine sceduling with fuzzy precedence constraints | Levner, Eugene; Vlach, Milan |
| 20-Apr-1997 | Parallel computation model logPQ and its evaluation | Touyama, Takayoshi; Horiguchi, Susumu |
| 20-Oct-1998 | Simplification ordering for higher-order rewrite systems | Iwami, Munehiro; Toyama, Yoshihito |
| 14-Dec-1998 | The completeness of linear logic with modal operator for Petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
| 16-Nov-1998 | The completeness of linear logic for petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
次へ
|
