Sökresultat - Michael Hanus
- Visas 1 - 5 av 5 resultat
-
Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings / av Michael Hanus
Utgiven 2007, c2007Hyllsignum: Laddar…Ver documento en línea
Placering: Laddar…
BokEnskild post -
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / av Michael Hanus
Utgiven 2009, c2009Hyllsignum: Laddar…Ver documento en línea
Placering: Laddar…
BokEnskild post -
Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / av Michael Hanus, Jan Heering, Karl Meinke
Utgiven 1997, c1997Hyllsignum: Laddar…Ver documento en línea
Placering: Laddar…
BokEnskild post -
Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, Oc... av Dietmar Seipel, Michael Hanus, Armin Wolf
Utgiven 2009, c2009Hyllsignum: Laddar…Ver documento en línea
Placering: Laddar…
BokEnskild post -
Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and... av Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
Utgiven 2005, c2005Hyllsignum: Laddar…Ver documento en línea
Placering: Laddar…
BokEnskild post