Kiselyov, Oleg.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Programming languages and systems = 22nd Asian symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings /
by:
Kiselyov, Oleg.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Functional programming (Computer science)
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Theory of Computation.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Compilers and Interpreters.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)