Konev, Boris.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Frontiers of combining systems13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
by:
(1998 :); Konev, Boris.; Reger, Giles.; SpringerLink (Online service)
(書目-電子資源)
Reasoning web. declarative artificial intelligence: knowledge, rules, logic19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
by:
(1998 :); 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.