Sagonas, Konstantinos.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
SpringerLink (Online service); Sagonas, Konstantinos.; Nakano, Keisuke.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Artificial intelligence.
Artificial Intelligence.
Computer logic.
Computer programming.
Logics and Meanings of Programs.
Mathematical logic.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Programming Techniques.
Software engineering.
Software Engineering.