Muraki Isao | Osaka Center for Cancer and Cardiovascular Disease Prevention|Public Health, Department of Social Medicine, Osaka University Graduate School of Medicine
スポンサーリンク
概要
- 同名の論文著者
- Osaka Center for Cancer and Cardiovascular Disease Prevention|Public Health, Department of Social Medicine, Osaka University Graduate School of Medicineの論文著者
論文 | ランダム
- 相互通信逐次型プロセス系のデッドロックフリ-性の検証
- 相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)
- 相互通信逐次型プロセス系の部分的正当性検証体系
- 並行プログラム検証体系のためのダイナミック論理の拡張
- プラトン・リュシス篇の hopeless result (απορια) について(II)