Showing 1 - 7 results of 7 for search 'Hanus, Michael', query time: 0.03s Refine Results
  1. 1
    Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

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

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:
  2. 2
    Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

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

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:
  3. 3
    Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

    Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

    Cham : Springer Nature Switzerland : Imprint: Springer, 2023
    1st ed. 2023.
    Other Authors: “…Hanus, Michael…”
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  4. 4
    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

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

    Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
    Other Authors: “…Hanus, Michael…”
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:
  5. 5
    Functional and Logic Programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

    Functional and Logic Programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

    Cham : Springer International Publishing : Imprint: Springer, 2022
    1st ed. 2022.
    Other Authors: “…Hanus, Michael…”
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  6. 6
    Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

    Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

    Cham : Springer International Publishing : Imprint: Springer, 2021
    1st ed. 2021.
    Other Authors: “…Hanus, Michael…”
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  7. 7
    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

    Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 1... by Seipel, Dietmar

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
    Other Authors: “…Hanus, Michael…”
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:

Search Tools: