Tamura K. | Tamura Obst. and Gynec. Hosp.

スポンサーリンク

概要

• Tamura K.の詳細を見る
• 同名の論文著者
• Tamura Obst. and Gynec. Hosp.の論文著者

論文 | ランダム

• 定理証明的手法を用いた回路自動設計のための変換規則--再帰方程式から回路記述への変換
• 回路自動合成のための推論機構(計算アルゴリズムの基礎理論)
• 時間と空間を扱う様相述語論理の不完全性とその相対的完全化
• 定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)
• プログラム理論と様相論理 (様相論理)

もっと見る

スポンサーリンク