木下 佳樹 | 電子技術総合研究所

スポンサーリンク

概要

• 木下 佳樹の詳細を見る
• 同名の論文著者
• 電子技術総合研究所の論文著者

関連著者

• 木下 佳樹

  産業技術総合研究所

• 木下 佳樹

  (独)産業技術総合研究所 組込みシステム技術連携研究体

• 木下 佳樹

  電子技術総合研究所

• 木下 佳樹

  独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

• 高橋 孝一

  産業技術総合研究所

• 中田 秀基

  電子技術総合研究所

• 高橋 孝一

  電子技術総合研究所

• 中田 秀基

  電総研

• パワー ジョン

  エディンバラ大学基礎計算機科学研究所

• 高橋 孝一

  産業技術総合研究所システム検証研究センター

• 木下 佳樹

  産業技術総合研究所システム検証研究センター

もっと見る 閉じる

著作論文

• 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
• クヌース・ベンディクスの代りに米田 : モノイドの場合
• ファイブレーションに基づく論理プログラムの意味論
• プログラミング言語ML
• 林 晋 著, "数理論理学", コンピュータ数学シリーズ3, コロナ社, A5判, 177p., \2,060, 1989

スポンサーリンク