Igarashi, Atsushi.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
Jhala, Ranjit.; Igarashi, Atsushi.; SpringerLink (Online service)
(書目-電子資源)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
APLAS (Symposium) (2016 :); Igarashi, Atsushi.; SpringerLink (Online service)
(書目-電子資源)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
International Symposium on Functional and Logic Programming (2022 :); Igarashi, Atsushi.; SpringerLink (Online service); Hanus, Michael.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Language.
Programming Techniques.
Logic programming
Programming languages (Electronic computers)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Functional programming (Computer science)
Artificial Intelligence.
Computer Science.
Systems and Data Security.
Computer System Implementation.