語系
Fuji International Symposium on Functional and Logic Programming (2020 :)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
Fuji International Symposium on Functional and Logic Programming (2020 :); Nakano, Keisuke.; Sagonas, Konstantinos.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer logic.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Logic programming
Programming Techniques.
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Computer programming.
Artificial intelligence.