|
|
JAIST Repository >
検索結果
検索結果表示: 221-230 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Dec-1995 | Po-hyperdoctrinal semantics for substructural predicate logics | Shirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ |
| 30-Aug-1995 | Unique normal proof property for implicational minimal formulas in the intuitionistic logic | Aoto, Takahito; 青戸, 等人; アオト, タカヒト |
| 7-Dec-1995 | Fault tolerant software in parallel logic programming languages | Sugino, Eiji; Yokota, Haruo; 杉野, 栄二; 横田, 治夫; スギノ, エイジ; ヨコタ, ハルオ |
| 12-Mar-1996 | Single machine scheduling with sequence-dependent due dates | Tanaka, Keisuke; Vlach, Milan; 田中, 圭介; タナカ, ケイスケ |
| 18-Oct-1996 | On structural properties of genetic codes with high adaptability and robustness | Maeshiro, Tetsuya; Kimura, Masayuki; 真栄城, 哲也; 木村, 正行; マエシロ, テツヤ; キムラ, マサユキ |
| 15-Mar-1996 | Persistency of confluence | Aoto,Takahito; Toyama,Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| 19-Jan-1996 | Robustness of robot programs generated by genetic programming | Ito, Takuya; Iba, Hitoshi; Kimura, Masayuki; 伊藤, 拓也; 伊庭, 斉志; 木村, 正行; イトウ, タクヤ; イバ, ヒトシ; キムラ, マサユキ |
| 2-Jul-1996 | On some evolutionary implications of the genetic code | Maeshiro, Tetsuya; Kimura, Masayuki; 真栄城, 哲也; 木村, 正行; マエシロ, テツヤ; キムラ, マサユキ |
| 28-Nov-1996 | Dynamic load balancing scheme for parallel molecular dynamics simulation | Hayashi, Ryoko; Horiguchi, Susumu; 林, 亮子; 堀口, 進; ハヤシ, リョウコ; ホリグチ, ススム |
| 19-Aug-1996 | Top-down labelling and modularity of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
前へ
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
次へ
|
