|
JAIST Repository >
検索結果
検索結果表示: 51-60 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 30-Oct-1997 | Negation-limited circuit complexity of symmetric functions | Sung, Shao-Chin |
| Jan-1997 | Varieties of monadic Heyting algebras. Part 1 | Bezhanishvili, Guram |
| Aug-1997 | Monadic version of Glivenko's theorem | Bezhanishvili, Guram |
| 25-Jul-1997 | Second order tangent sets and optimality conditions | Cambini, Alberto; Martein, Laura; Vlach, Milan |
| 14-Apr-1997 | Strong pareto optimality of compromise decisions in multi-criteria analysis | Ramik, Jaroslav; Vlach, Milan |
| 2-Jun-1997 | On solving the max-min 0-1 knapsack problem | Iida, Hiroshi |
| Apr-1997 | Varieties of monadic heyting algebras.Part III | Bezhanishvili, Guram |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
次へ
|
