Kontinen, Juha.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Dependence Logic = Theory and Applications /
by:
Kontinen, Juha.; Vollmer, Heribert.; Väänänen, Jouko.; Abramsky, Samson.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
by:
Herzig, Andreas.; Kontinen, Juha.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Application software.
Knowledge representation (Information theory) .
Software Engineering/Programming and Operating Systems.
Knowledge based Systems.
Computer logic.
Database management.
Artificial intelligence.
Software engineering.
Computer Appl. in Administrative Data Processing.
Logic in AI.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Database Management.