Treinen, Ralf.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Constraints in computational logicstheory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
by:
(1998 :); Comon, Hubert.; Marche, Claude.; SpringerLink (Online service); Treinen, Ralf.
(書目-電子資源)
Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
(1998 :); SpringerLink (Online service); Treinen, Ralf.
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms
Logic programming.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Constraint programming (Computer science)