Der Masterplan für das eigene Smart Home

8 mal Smarthome-Technik zum unschlagbaren Paketpreis!Das Smart-Home-Gesamtpaket für Einsteiger un...

Applications of Declarative Programming and Knowledge Management

This volume constitutes the thoroughly refereed post-conference proceedings of the 17th Internati...

Algebraic and Logic Programming

InhaltsangabeSafe folding unfolding with conditional narrowing.- Optimal non-deterministic functi...

Problemlösen mit PROLOG

Algebraic and Logic Programming

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic...

Declarative Programming and Knowledge Management

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifyi...

Declarative Programming and Knowledge Management

This book constitutes revised selected papers from the 21st International Conference on Applicati...

Functional and Constraint Logic Programming

This book constitutes the refereed post-conference proceedings of the 28th International Workshop...

Logic-Based Program Synthesis and Transformation

This book constitutes the thoroughly refereed post-conference proceedings of the 18th Internation...

Functional and Logic Programming

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic...

Practical Aspects of Declarative Languages

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of...