Igarashi, Atsushi.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
Hanus, Michael.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Igarashi, Atsushi.
(書目-語言資料,印刷品)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
SpringerLink (Online service); Hanus, Michael.; Igarashi, Atsushi.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
SpringerLink (Online service); Igarashi, Atsushi.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Programming Languages and Systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
by:
SpringerLink (Online service); Igarashi, Atsushi.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
SpringerLink (Online service); Jhala, Ranjit.; Igarashi, Atsushi.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Systems and Data Security.
Computer System Implementation.
Computer logic.
Artificial intelligence.
Software engineering.
Computer science.
Programming Language.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Computer programming.
Computer programming
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Logic programming
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Functional programming (Computer science)
Computer systems.