Livros de Michael Hanus - BookPine

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Michael Hanus

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

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

Michael Hanus

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Dietmar Seipel

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ...

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ...

Dietmar Seipel

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Michael Hanus

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Dietmar Seipel

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

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

Michael Hanus

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Michael Hanus

Problemlösen mit PROLOG (MikroComputer-Praxis)

Problemlösen mit PROLOG (MikroComputer-Praxis)

Michael Hanus