Showing 1 - 13 results of 13 for search 'Hanus, Michael 1959-', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    An evaluation semantics for narrowing-based functional logic languages

    An evaluation semantics for narrowing-based functional logic languages by Hanus, Michael 1959-, Lucas, Salvador

    Published 2000
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Horn clause specifications with polymorphic types

    Horn clause specifications with polymorphic types by Hanus, Michael 1959-

    Published 1988
    Thesis Microfilm Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Problemlösen mit PROLOG

    Problemlösen mit PROLOG by Hanus, Michael 1959-

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Higher-order narrowimg with definitional trees

    Higher-order narrowimg with definitional trees by Hanus, Michael 1959-, Prehofer, Christian 1967-

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    The integration of functions into logic programming a survey

    The integration of functions into logic programming a survey by Hanus, Michael 1959-

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Problemlösen mit PROLOG

    Problemlösen mit PROLOG by Hanus, Michael 1959-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    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

    Published 2023
    Other Authors: “…Hanus, Michael 1959-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  8. 8
    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

    Published 2022
    Other Authors: “…Hanus, Michael 1959-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  9. 9
    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

    Published 2021
    Other Authors: “…Hanus, Michael 1959-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  10. 10
    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

    Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : rev...

    Published 2018
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  11. 11
    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

    Published 2022
    Other Authors: “…Hanus, Michael 1959-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  12. 12
    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

    Published 2021
    Other Authors: “…Hanus, Michael 1959-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  13. 13
    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

    Published 2023
    Other Authors: “…Hanus, Michael 1959-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: