Michael Hanus – författare
Visar alla böcker från författaren Michael Hanus.
12 produkter
Declarative Programming and Knowledge Management
Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Av Dietmar Seipel, Michael Hanus m. fl.
Häftad, 2018
709 kr
Lägg i varukorg
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Av Michael Hanus, Claudio Sacerdoti Coen
Häftad, 2021
729 kr
Lägg i varukorg
Functional and Logic Programming
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Av Michael Hanus, Atsushi Igarashi
Häftad, 2022
949 kr
Lägg i varukorg
Practical Aspects of Declarative Languages
25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Av Michael Hanus, Daniela Inclezan
Häftad, 2023
1059 kr
Lägg i varukorg
Declarative Programming and Knowledge Management
Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Av Michael Hanus, Ricardo Rocha
Häftad, 2014
699 kr
Lägg i varukorg
Applications of Declarative Programming and Knowledge Management
15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Av Dietmar Seipel, Michael Hanus m. fl.
Häftad, 2005
729 kr
Lägg i varukorg
Algebraic and Logic Programming
5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Av Michael Hanus, Mario Rodriguez-Artalejo
Häftad, 1996
729 kr
Lägg i varukorg
Algebraic and Logic Programming
6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Av Michael Hanus, Jan Heering m. fl.
Häftad, 1997
729 kr
Lägg i varukorg
Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
Häftad, 2006
729 kr
Lägg i varukorg
Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Häftad, 2009
729 kr
Lägg i varukorg
Applications of Declarative Programming and Knowledge Management
17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
Av Dietmar Seipel, Michael Hanus m. fl.
Häftad, 2009
729 kr
Lägg i varukorg