語系
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:)
(書目-電子資源)
主題
Discrete Mathematics in Computer Science.
Rewriting systems (Computer science)
Computer Science.
Algorithms
Symbolic and Algebraic Manipulation.
Programming Languages, Compilers, Interpreters.
Computer programming
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.