Logic-Based Program Synthesis and Transformation

Allgemein

Marke
Springer

Eigenschaften

Menü