129
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
149
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
133
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Keywords Name of the disease and synonyms Definition/Diagnostic criteria Juvenile form Comments on the differential diagnosis Incidence Clinical description Method of biological d...
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
92
Voted
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
154
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
143
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...