20 results
Type of media (2)
Availability (2)
Language (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
20 results

Your search for Michael Hanus

  1. Cover: Functional and Logic Programming - Springer
    Michael Hanus | Atsushi Igarashi
    Functional and Logic Programming
    16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
    05/2022
    Springer
    9783030994617 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Functional and Constraint Logic Programming - Springer
    Michael Hanus | Claudio Sacerdoti Coen
    Functional and Constraint Logic Programming
    28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
    05/2021
    Springer
    9783030753337 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Problemlösen mit PROLOG - Vieweg+Teubner Verlag
    Michael Hanus
    Problemlösen mit PROLOG
    07/2013
    2nd EDN2nd Edition
    Vieweg+Teubner Verlag
    9783322967619 (ISBN)
    E-Book
    PDF
    Other editions
    €35.96
    Available for download
  4. Cover: Practical Aspects of Declarative Languages - Springer
    Michael Hanus | Daniela Inclezan
    Practical Aspects of Declarative Languages
    25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    01/2023
    Springer
    9783031248412 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  5. Cover: Declarative Programming and Knowledge Management - Springer
    Dietmar Seipel | Michael Hanus | Salvador Abreu
    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
    09/2018
    Springer
    9783030008017 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Declarative Programming and Knowledge Management - Springer
    Michael Hanus | Ricardo Rocha
    Declarative Programming and Knowledge Management
    Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
    07/2014
    Springer
    9783319089096 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  7. Cover: Functional and Logic Programming - Springer
    Michael Hanus | Atsushi Igarashi
    Functional and Logic Programming
    16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
    03/2022
    Springer
    9783030994600 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 7-9 days
  8. Cover: Functional and Constraint Logic Programming - Springer
    Michael Hanus | Claudio Sacerdoti Coen
    Functional and Constraint Logic Programming
    28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
    05/2021
    Springer
    9783030753320 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Practical Aspects of Declarative Languages - Springer
    Michael Hanus
    Practical Aspects of Declarative Languages
    9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
    12/2006
    Springer
    9783540696087 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Declarative Programming and Knowledge Management - Springer
    Dietmar Seipel | Michael Hanus | Salvador Abreu
    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
    09/2018
    Springer
    9783030008000 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Applications of Declarative Programming and Knowledge Management - Springer
    Dietmar Seipel | Michael Hanus | Armin Wolf
    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
    04/2009
    Springer
    9783642006746 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Logic-Based Program Synthesis and Transformation - Springer
    Michael Hanus
    Logic-Based Program Synthesis and Transformation
    18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
    02/2009
    Springer
    9783642005145 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Declarative Programming and Knowledge Management - Springer
    Michael Hanus | Ricardo Rocha
    Declarative Programming and Knowledge Management
    Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
    07/2014
    Springer
    9783319089089 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 10-15 days
  14. Cover: Practical Aspects of Declarative Languages - Springer
    Michael Hanus | Daniela Inclezan
    Practical Aspects of Declarative Languages
    25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    01/2023
    Springer
    9783031248405 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  15. Cover: Declarative Programming and Knowledge Management - Springer
    Michael Hanus | Ricardo Rocha
    Declarative Programming and Knowledge Management
    Declarative Programming Days, Kdpd 2013, Unifying Inap, Wflp, and Wlp, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
    08/2014
    Springer
    9783319089102 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  16. Cover: Applications of Declarative Programming and Knowledge Management - Springer
    Dietmar Seipel | Michael Hanus | Ulrich Geske
    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
    04/2005
    Springer
    9783540255604 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: Problemlösen mit PROLOG - Vieweg+Teubner Verlag
    Michael Hanus
    Problemlösen mit PROLOG
    09/1987
    2nd EDN2nd Edition
    Vieweg+Teubner Verlag
    9783519125419 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €44.99
    Shipment within 10-15 days
  18. Cover: Algebraic and Logic Programming - Springer
    Michael Hanus | Jan Heering | Karl Meinke
    Algebraic and Logic Programming
    6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
    08/1997
    Springer
    9783540634591 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Algebraic and Logic Programming - Springer
    Michael Hanus | Mario Rodriguez-Artalejo
    Algebraic and Logic Programming
    5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
    09/1996
    Springer
    9783540617358 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  20. This image is currently not available.
    Dietmar Seipel | Michael Hanus | Armin Wolf
    Applications of Declarative Programming and Knowledge Management
    05/2009
    Springer
    9783642006760 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available