Program Development in Computational Logic: A Decade of Research Advances in Log
69,15 €
Specification and Synthesis. - Synthesis of Programs in Computational Logic. - Declarative Semantics of Input Consuming Logic Programs. - On the Semantics of Logic Program Composition. - Analysing Logic Programs by Reasoning Backwards.
Jetzt bei Ebay: