脳死の判定について考える (日本小児科学会 子どもの脳死臓器移植プロジェクト企画 第113回日本小児科学会学術集会シンポジウム報告 小児の脳死臓器移植,小児科にとっての問題点)
スポンサーリンク
概要
論文 | ランダム
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 時間制約付LOTOSで記述された分散システムの全体仕様から各ノードの動作仕様の自動生成
- LOTOSによるソフトウェアプロセスの記述とその実行
- Polarization Mixing Error Reduction in a Two-Beam Interferometer
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明