|
JAIST Repository >
検索結果
検索結果表示: 101-110 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 26-Jul-1999 | Automatic generation of Web directories | Sato, Satoshi; Sato, Madoka |
| 1-Dec-1999 | Nonpreemtive flowshops with a dominant machine : reductions to single mac | Cepek, Ondrej; Vlach, Milan |
| 23-Mar-1999 | Argument filtering transformation | Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito |
| 4-Aug-1999 | Proof-theoretic analysis of termination proofs by recursive path ordering | Ishii, Katsumasa |
| 6-Apr-1999 | Linear programming with inexact coefficients : some results in computational complexity | Ramik, Jaroslav |
| 10-Nov-1999 | Cut-free sequent calculi for Visser's propositional logics | Kikuchi, kentaro |
| 21-Oct-1999 | Kripke-style semantics of orthomodular logics | Miyazaki, Yutaka |
| 15-Nov-1999 | Concept of linear fuzzy coalitional game | Mares, Milan; Vlach, Milan |
| 26-Apr-1999 | Multiple-choice project scheduling | Levner, Eugene; Sung, Shao Chin; Vlach, Milan |
| 30-Jun-1999 | Synthesis of supervisors using learning algorithm of regular languages | Hiraishi, Kunihiko |
前へ
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
次へ
|
