Search Results - Michael Hanus

  • Showing 1 - 5 results of 5
Refine Results
  1. Cover Image

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

    Published 2007, c2007
    Ver documento en línea
    Book
  2. Cover Image

    Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / by Michael Hanus

    Published 2009, c2009
    Ver documento en línea
    Book
  3. Cover Image

    Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / by Michael Hanus, Jan Heering, Karl Meinke

    Published 1997, c1997
    Ver documento en línea
    Book
  4. Cover Image

    Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, Oc... by Dietmar Seipel, Michael Hanus, Armin Wolf

    Published 2009, c2009
    Ver documento en línea
    Book
  5. Cover Image

    Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and... by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein

    Published 2005, c2005
    Ver documento en línea
    Book

Search Tools: