Nakano, Keisuke.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(1998 :); Nakano, Keisuke.; Sagonas, Konstantinos.; SpringerLink (Online service)
(書目-電子資源)
主題
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.