Ueda, Kazunori.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
(1998 :); SpringerLink (Online service); Ueda, Kazunori.
(書目-電子資源)
Advances in computing science-ASIAN '97Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11 1997 : proceedings /
by:
(1998 :); Shyamasundar, Rudrapatna.; SpringerLink (Online service); Ueda, Kazunori.
(書目-電子資源)
Functional and logic programming5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings /
by:
(1998 :); Kuchen, Herbert.; SpringerLink (Online service); Ueda, Kazunori.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Electronic data processing
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.