形式的意味論に基づく段階的詳細化言語の研究

この論文をさがす

著者

    • 渡邊, 坦 ワタナベ, タン

書誌事項

タイトル

形式的意味論に基づく段階的詳細化言語の研究

著者名

渡邊, 坦

著者別名

ワタナベ, タン

学位授与大学

東京大学

取得学位

工学博士

学位授与番号

乙第8423号

学位授与年月日

1987-06-11

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000051386
  • NII著者ID(NRID)
    • 8000000051501
  • NDL書誌ID
    • 000000215700
  • データ提供元
    • NDL ONLINE
ページトップへ