兵頭明夫, 琉球大学 [著][兵頭明夫]2006-2007<Y151-H18591597>
国立国会図書館
- 件名脳神経 / 血管内治療 / 脳波 / てんかん / 血管内導出電極
井上克巳, 国立情報学研究所 [著][井上克巳]2005-2007<Y151-H17300051>
国立国会図書館
- 件名結論発見 / 結論発見手続き / SOL導出 / SOLAR / アブダクション / 帰納推論 / CF...
岩間, 一雄, 京都大学1996-1997<Y151-H08044158>
国立国会図書館
井上克巳, 国立情報学研究所, 神戸大学 [著][井上克巳]2002-2004<Y151-H14380164>
国立国会図書館
- 件名結論発見問題 / 結論発見手続き / SOL導出 / 知識発見 / 帰納推論 / アブダクション / 演繹推...
進藤宗洋, 福岡大学 [著][進藤宗洋]2002-2004<Y151-H14380021>
国立国会図書館
- 件名作業筋虚血閾値 / 筋張力 / LTトレーニング / 筋線維 / 毛細血管 / 脂質代謝 / 免疫能 / 慢性運動導出性適応能力
永坂, 鉄夫, 金沢大学1994-1997<Y151-H06404018>
国立国会図書館
- 件名高体温 選択的脳冷却 導出静脈血流 姿勢 胸腔内圧 換気量
兵頭, 明夫, 琉球大学1997-1998<Y151-H09557114>
国立国会図書館
- 件名脳波 難治性てんかん 脳血管内手術 血管内導出電極 深部脳波
谷口健一, 大阪大学 [著][谷口健一]2001-2004<Y151-H13680414>
国立国会図書館
- 件名時間オートマトン / Quality of Services / 線形計画法 / 分散マルチメディアシステム / コンポーネントベースシステム / プログラム導出 / Java
矢野, 米雄, 徳島大学1997-2000<Y151-H09558017>
国立国会図書館
- 件名インターネツト WWW リソース 辞書システム 日本語教育 フイルタリング エージエント 用例導出
永坂, 鉄夫, 金沢大学1990-1992<Y151-H02454128>
国立国会図書館
- 件名高体温 温浴 運動 選択的脳冷却 導出静脈 発汗 姿勢変換
田中, 博, 東京医科歯科大学1994-1995<Y151-H06680343>
国立国会図書館
- 件名ラフ集合理論 リサンプリング法 知識獲得 機械学習 エキスパートシステム ルール導出
山崎, 良比古, 名古屋工業大学1992-1993<Y151-H04680123>
国立国会図書館
- 件名運動制御 肘関節 等尺性収縮 急速動作 関節トルク 表面筋電図 単極導出法 ヒト
山崎, 進, 岡山大学1990-1991<Y151-H02680028>
国立国会図書館
- 件名論理型言語 関数型言語 データフロー 意味論 代数的操作 導出演繹
岩間, 一雄, 九州大学1995-1996<Y151-H07458061>
国立国会図書館
- 件名充足可能性問題 充足解数の制御 局所探索法 重みつけ法 定理自動証明 単読導出原理 計算複雑さ 例題生成系の安全性
山崎, 進, 岡山大学1994-1996<Y151-H06452404>
国立国会図書館
- 件名論理プログラム 2値安定モデル 3値安定モデル 失敗による否定 SLDNF導出 アブダクテイブ手続き アブダクシヨンの枠組 意味論
永坂, 鉄夫, 金沢大学1986-1989<Y151-S61440027>
国立国会図書館
- 件名温熱皮膚血管収縮 動静脈吻合 皮膚交感神経活動 高体温 選択的脳冷却 導出静脈血流
星宮, 望, 東北大学1988-1989<Y151-S63850081>
国立国会図書館
- 件名機能的電気刺激 多量撚線電極 低雑音電極 神経インパルス導出 生体親和性 皮膚貫通端子 結晶化ガラス ステンレススチール
原尾, 政輝, 山形大学1985-1986<Y151-S60580016>
国立国会図書館
- 件名時空間様相論理 仕様記述言語 回路実現言語 回路自動合成 導出アルゴリズム 定理証明 知識表現 回路レイアウト
宮崎, 修一, 岩間, 一雄Institute of Electronics, Information and Communications Engineers (IEICE)1999-09-03電子情報通信学会技術研究報告99 288p.15-22
インターネットで読める全国の図書館
- 要約等...ty. 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良......という本来の結果の他に, 木状導出原理による証明サイズが一般の導出原理に対するものよりも超多項式......示した.下限の証明には, 木状導出原理とSATアルゴリズムであるバックトラック法との等価性を利...
- 件名導出原理 木状導出原理 鳩の巣原理 resolution tree-like ...
児保祐介 著・文・その他, 田中洋平 監修微風出版2024-12-09
全国の図書館
- 著者紹介...業形態を目標に据える。その後「導出物理」の監修で目標を実現。次は......わりたいと考えている。著書に「導出物理 基礎演習編」「中学英語 ......(微風出版・共著)、監修書に「導出物理 上下」「中学数学 必修ワーク上下」(微風出版)がある。
- 件名...の風 名問の森 為近 医学部 導出 教科書 物理基礎 高1 過去問 わかりやすい 実況中継 や...