語系
Treinen, Ralf.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rewriting techniques and applications = 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
SpringerLink (Online service); Treinen, Ralf.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Rewriting systems (Computer science)
Discrete Mathematics in Computer Science.
Algorithms
Computer Science.
Computer programming
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.