書封
Varzinczak, Ivan.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings /
by:
SpringerLink (Online service); Varzinczak, Ivan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reasoning Web. Declarative Artificial Intelligence = 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures /
by:
SpringerLink (Online service); Šimkus, Mantas.; Varzinczak, Ivan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Application software.
Logic programming.
Expert systems (Computer science).
Artificial Intelligence.
Artificial intelligence.
Knowledge Based Systems.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Computer and Information Systems Applications.
Machine theory.
Logic in AI.
Programming Language.
Programming languages (Electronic computers).