Languages
Schmid, Ute.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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.
(Electronic resources)
Subjects
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.