Languages
Fuji International Symposium on Functional and Logic Programming (2020 :)
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
Subjects
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.