Ueda, Kazunori.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
Ueda, Kazunori.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Functional and logic programming = 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings /
by:
Kuchen, Herbert.; Ueda, Kazunori.; SpringerLink (Online service); FLOPS 2001 ((2001 :)
(書目-語言資料,印刷品)
Advances in computing science-ASIAN '97 = Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11 1997 : proceedings /
by:
Ueda, Kazunori.; Shyamasundar, Rudrapatna.; SpringerLink (Online service); Asian Computing Science Conference (1997 :)
(書目-語言資料,印刷品)
主題
Electronic data processing- Congresses.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Logic programming
Programming Techniques.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer science
Functional programming (Computer science)
Computer Science.
Systems and Data Security.