語系
Nakano, Keisuke.
概要
| 作品: | 1 作品在 2 項出版品 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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.