語系
Rocha, Ricardo.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Declarative programming and knowledge management = Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers /
by:
Hanus, Michael.; Rocha, Ricardo.; SpringerLink (Online service)
(書目-電子資源)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
by:
Rocha, Ricardo.; Launchbury, John.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Declarative programming
Theory of Computation.
Logics and Meanings of Programs.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Logic programming
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Computer Science.
Knowledge management
Math Applications in Computer Science.
Constraint programming (Computer science)