語系
Schmid, Ute.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Approaches and applications of inductive programmingthird international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /
by:
(1998 :); Kitzelmann, Emanuel.; Plasmeijer, Rinus.; Schmid, Ute.; SpringerLink (Online service)
(書目-電子資源)
KI 2020advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings /
by:
(1998 :); Klugl, Franziska.; Schmid, Ute.; SpringerLink (Online service); Wolter, Diedrich.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
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.