Languages
Schmid, Ute.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
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 :)
(Language materials, printed)
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.; Wolter, Diedrich.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.