Kontinen, Juha.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Dependence Logic = Theory and Applications /
by:
Kontinen, Juha.; Vollmer, Heribert.; Väänänen, Jouko.; Abramsky, Samson.; SpringerLink (Online service)
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.