Declarative Programming And Knowledge Management

By Michael Hanus, Salvador Abreu, SpringerLink (Online Service), Dietmar Seipel

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Progr...

Declarative Programming And Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, And WLP, Kiel, Germany, September ...

By Michael Hanus, Ricardo Rocha, Michael Hanus, Ricardo Rocha (Eds.)

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Progr...

Problemlösen Mit PROLOG (MikroComputer-Praxis) (German Edition)

By Michael Hanus, Michael Hanus (Auth.)

Front Matter....Pages ii-6 Einleitung und Überblick....Pages 7-18 Objekte in Prolog....Pages 19-31 Rechnen in Prolog = Beweisen von Aussagen....Pages 32-48 Elementare Programmiertechniken....Pages...

Algebraic And Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

By Michael Hanus, J. Heering, Mario Rodríguez Artalejo, International Conference On Algebraic And Logic Programming, K. Meinke, International Workshop On Higher-Order Algebra, Logic, And Term Rewriting

This Book Constitutes The Refereed Proceedings Of The Fifth International Conference On Algebraic And Logic Programming, Alp '96, Held In Aachen, Germany, In September 1996 In Conjunction With Plil...

Algebraic And Logic Programming

By Michael Hanus, J. Heering, Karl Meinke, Jan Heering, International Conference On Algebraic And Logic Programming, K. Meinke, International Workshop On Higher-Order Algebra, Logic, And Term Rewriting

This Book Constitutes The Refereed Proceedings Of The Fifth International Conference On Algebraic And Logic Programming, Alp '96, Held In Aachen, Germany, In September 1996 In Conjunction With Plil...

Practical Aspects Of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

By Michael Hanus, PADL 2007 (2007 Nice, France), PADL 2007

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POP...

Applications Of Declarative Programming And Knowledge Management: 15th International Conference On Applications Of Declarative Programming And ...

By Michael Hanus, Ulrich Geske, Dietmar Seipel, Oskar Bartenstein, International Conference On Applications Of Declarative Programming An...

This book constitutes the thoroughly refereed joint post-proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and the 18t...

Ppdp 11 Proceedings Of The 2011 Symposium On Principles And Practices Of Declarative Programming

By Michael Hanus, Ppdp 11 Conference Committee

Functional And Constraint Logic Programming

By Michael Hanus, Claudio Sacerdoti Coen, Michael Hanus (Editor), Claudio Sacerdoti Coen (Editor)

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 202...

Functional And Logic Programming

By Michael Hanus, Atsushi Igarashi