辻 俊一 | 北里研究所メディカルセンター病院 神経内科

スポンサーリンク

概要

• 同名の論文著者
• 北里研究所メディカルセンター病院 神経内科の論文著者

論文 | ランダム

• 論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて
• 糖尿病患者における慢性腎臓病と左室重量との関連
• 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
• 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
• 最小汎化の組合せ探索による帰納推論

もっと見る

スポンサーリンク