語系
Thiemann, Peter.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming Languages and Systems = 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 /
by:
Thiemann, Peter.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Programming languages and systems = 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 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Thiemann, Peter.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
Thiemann, Peter.; Workshop on the Preservation of Stability under Discretization ((2001 :); Schrijvers, Tom.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer logic.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming.
Computer programming
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Computers.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computation by Abstract Devices.