語系
Konev, Boris.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Frontiers of combining systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
by:
FroCoS (Symposium) (2021 :); Konev, Boris.; Reger, Giles.; SpringerLink (Online service)
(書目-電子資源)
Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
by:
Summer School on Reasoning Web (2023 :); Console, Marco.; Konev, Boris.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Artificial intelligence
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Logic in AI.
Computer and Information Systems Applications.
Semantic Web
Computer science
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Systems Organization and Communication Networks.