乾 彰夫 | 首都大学東京名誉教授

スポンサーリンク

概要

• 同名の論文著者
• 首都大学東京名誉教授の論文著者

論文 | ランダム

• プラヴィッツの真概念に関する一考察
• A system of $\lambda\mu$ - calculus proper to the implicational fragment of classical natural deduction with one conclusion
• CR of a reduction for classical natural deduction(Mathematical Incompleteness in Arithmetic)
• A NORMALIZATION-PROCEDURE FOR THE FIRST ORDER CLASSICAL NATURAL DEDUCTION WITH FULL LOGICAL SYMBOLS
• 475 PVDFを利用した静荷重センサの性能向上に関する研究(GS6-2 センサ技術・設計)

もっと見る

スポンサーリンク