検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-2 / 2.
- 前
- 1
- 次
検索結果:
| 書誌情報 | ファイル |
|---|---|
| トランスポゾンから導かれる演算により定義される整合括弧列のDNAモデルとチューリング・マシンの構成 (理論計算機科学の深化と応用) 鈴木, 理 (2009-05) 数理解析研究所講究録, 1649: 89-96 |  |
| 形式言語による結び目の実現問題に関する幾つかの予想 (理論計算機科学の深化と応用) 上谷, 雄一; 岡田, 蓉子; 堀口, 俊; 前川, 達也; 鈴木, 理 (2009-05) 数理解析研究所講究録, 1649: 97-104 | |