プログラム変換による論理プログラムの意味論

Access this Article

Search this Article

Author

    • 沈, 涵 チン, カン

Bibliographic Information

Title

プログラム変換による論理プログラムの意味論

Author

沈, 涵

Author(Another name)

チン, カン

University

横浜国立大学

Types of degree

工学博士

Grant ID

甲第44号

Degree year

1990-03-24

Note and Description

博士論文

Table of Contents

  1. 目次 (4コマ目)
0access

Codes

  • NII Article ID (NAID)
    500000065363
  • NII Author ID (NRID)
    • 8000000065537
  • DOI(NDL)
  • NDLBibID
    • 000000229677
  • Source
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top