Languages
Nakano, Keisuke.
Overview
Works: | 1 works in 2 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)
Software foundations for data interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers /
by:
International Workshop on Software Foundations for Data Interoperability (2021 :); Fletcher, George.; Nakano, Keisuke.; Sasaki, Yuya.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer logic.
Mathematical Logic and Formal Languages.
Data structures (Computer science)
Graph algorithms
Software Engineering.
Data Structures and Information Theory.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Mathematics of Computing.
Logic programming
Programming Techniques.
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Database management
Databases
Computer Engineering and Networks.
Functional programming (Computer science)
Artificial Intelligence.
Computer programming.
Artificial intelligence.