程, 京徳
VIAF ID: 113619269 (Personal)
Permalink: http://viaf.org/viaf/113619269
Preferred Forms
- 100 1 _ ‡a 程, 京徳
- 100 1 _ ‡a 程, 京徳
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Puroguramingu gengo no imiron nyūmon | |
semantics of programming languages. | |
プログラミング言語の意味論入門 | |
並行プログラムの従属性理論とその応用に関する基礎的研究 | |
命令型・宣言型並行プログラムにおける従属生に関する一般理論の構築と応用 | |
強相関論理に基づく認識的プログラミングシステムの構築 |