語系
Thiemann, Peter.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
Schrijvers, Tom.; Thiemann, Peter.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Partial evaluation = practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 /
by:
Hatcliff, John.; Mogensen, Torben E.; Thiemann, Peter.; SpringerLink (Online service); DIKU International Summer School on Partial Evaluation ((1998 :)
(書目-語言資料,印刷品)
主題
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 software- Evaluation.
Computer Science.