bib.howest.be Zoekresultaten

U zocht naar: Auteur Michael Hanus Type e-book

1 - 9 van 9

1. Functional and Constraint Logic Programming

Auteur:: Michael Hanus; Sacerdoti Coen, Claudio
Uitgever:: Springer International Publishing 2021
Type:: e-book

2. Declarative Programming and Knowledge Management

Auteur:: Seipel; Michael Hanus; Salvador Abreu; Abreu, Salvador; Hanus, Michael
Uitgever:: Springer International Publishing 2018
Type:: e-book

3. Declarative Programming and Knowledge Management

Auteur:: Michael Hanus, Ricardo Rocha; Rocha, Ricardo
Uitgever:: Springer International Publishing 2014
Type:: e-book

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

Auteur:: Hanus, Michael.; Igarashi, Atsushi
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

5. Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Auteur:: Hanus, Michael.; Inclezan, Daniela
Uitgever:: Cham Springer 2023
Type:: e-book

6. Logic-Based Program Synthesis and Transformation

Auteur:: Hanus, Michael; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

7. Applications of Declarative Programming and Knowledge Management

Auteur:: Seipel, Dietmar; Hanus, Michael; Kanade, Takeo; Wolf, Armin
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

8. Applications of Declarative Programming and Knowledge Management

Auteur:: Kanade, Takeo; Seipel, Dietmar; Geske, Ulrich; Hanus, Michael; Bartenstein, Oskar
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

9. Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

Auteur:: Hanus, Michael; Association for Computing Machinery-Digital Library.; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book