言語
Thiemann, Peter.
概観
| 著作: | 2 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Programming languages and systems[electronic resource] :25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
…で:
Clark Conference ((2005 :); SpringerLink (Online service); Thiemann, Peter.
(言語・文字資料 (印刷物))
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
…で:
Clark Conference ((2005 :); Schrijvers, Tom.; SpringerLink (Online service); Thiemann, Peter.
(言語・文字資料 (印刷物))
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Functional programming (Computer science)
Computer Science.