bib.howest.be Search Results

You searched for: Auteur Hanus, Michael.

1 - 9 of 9

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

Author:: Hanus, Michael.; Igarashi, Atsushi
Publisher:: Cham Springer International Publishing AG 2022
Format:: e-book

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

Author:: Hanus, Michael.; Inclezan, Daniela
Publisher:: Cham Springer 2023
Format:: e-book

3. Declarative Programming and Knowledge Management

Author:: Seipel; Michael Hanus; Salvador Abreu; Abreu, Salvador; Hanus, Michael
Publisher:: Springer International Publishing 2018
Format:: e-book

4. Logic-Based Program Synthesis and Transformation

Author:: Hanus, Michael; Kanade, Takeo; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2009
Format:: e-book

5. Applications of Declarative Programming and Knowledge Management

Author:: Seipel, Dietmar; Hanus, Michael; Kanade, Takeo; Wolf, Armin
Publisher:: Springer Berlin Heidelberg 2009
Format:: e-book

6. Applications of Declarative Programming and Knowledge Management

Author:: Kanade, Takeo; Seipel, Dietmar; Geske, Ulrich; Hanus, Michael; Bartenstein, Oskar
Publisher:: Springer Berlin / Heidelberg 2005
Format:: e-book

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

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

8. Functional and Constraint Logic Programming

Author:: Michael Hanus; Sacerdoti Coen, Claudio
Publisher:: Springer International Publishing 2021
Format:: e-book

9. Declarative Programming and Knowledge Management

Author:: Michael Hanus, Ricardo Rocha; Rocha, Ricardo
Publisher:: Springer International Publishing 2014
Format:: e-book