Satō, Masahiko, 1947-....
佐藤, 雅彦, 1947-
佐藤, 雅彦
Sato, Masahiko, computer science
佐藤雅彦 理論計算機科学者
VIAF ID: 108684738 ( Personal )
Permalink: http://viaf.org/viaf/108684738
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Sato, Masahiko, ‡d 1947-
- 200 _ | ‡a Satō ‡b Masahiko ‡f 1947-....
- 100 1 _ ‡a Satō, Masahiko, ‡d 1947-....
- 100 1 _ ‡a 佐藤, 雅彦
- 100 1 _ ‡a 佐藤, 雅彦 ‡d 1947-
- 100 1 _ ‡a 佐藤, 雅彦, ‡d 1947-
- 100 0 _ ‡a 佐藤雅彦 ‡c 理論計算機科学者
4xx's: Alternate Name Forms (17)
Works
Title | Sources |
---|---|
Advances in computing science, ASIAN 2000 : 6th Asian computing science conference, Penang, Malaysia, November 25-27, 2000 : proceedings | |
Foundations of logic programming. | |
Iwanami kōza sofutōea kagaku. | |
Konpyūta saiensu. | |
Logic, language, and computation : festschrift in honor of Satoru Takasu | |
Ronri puroguramingu no kiso | |
Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 | |
コンピュータサイエンス. | |
プログラム基礎理論の総合的研究 | |
関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成 | |
岩波講座ソフトウェア科学. | |
構成的プログラミング理論 | |
環境と文脈を持つ計算体系とその論理 | |
論理プログラミングの基礎 |