Nakano, Keisuke.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Software foundations for data interoperability5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers /
by:
(1998 :); Fletcher, George.; Nakano, Keisuke.; Sasaki, Yuya.; SpringerLink (Online service)
(Electronic resources)
Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(1998 :); Nakano, Keisuke.; Sagonas, Konstantinos.; 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.