語系
Schmid, Ute.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Approaches and applications of inductive programming = third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /
by:
Kitzelmann, Emanuel.; Plasmeijer, Rinus.; Schmid, Ute.; SpringerLink (Online service); AAIP 2009 (2009 :)
(書目-語言資料,印刷品)
KI 2020 = advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings /
by:
German Conference on Artificial Intelligence (2020 :); Schmid, Ute.; Klugl, Franziska.; SpringerLink (Online service); Wolter, Diedrich.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Database Management.
Functional programming (Computer science)
Information Systems Applications (incl.Internet)
Artificial Intelligence.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer Science.
Computer Applications.