Pfenning, Frank.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Generative programming and component engineeringsecond International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /
by:
(1998 :); Pfenning, Frank.; Smaragdakis, Yannis.; SpringerLink (Online service)
(書目-電子資源)
Term Rewriting and Applications (vol. # 4098)17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
by:
(1998 :); Pfenning, Frank.; SpringerLink (Online service)
(書目-電子資源)
主題
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Component software
Algorithms
Artificial Intelligence (incl. Robotics)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.
Symbolic and Algebraic Manipulation.
Generative programming (Computer science)