Hanus, Michael books & textbook
Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September ... (Lecture Notes in Artificial Intelligence)
Springer /2014-07-24 Paperback / 261 Pages
isbn-10: 3319089080 / isbn-13: 9783319089089
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ... (Lecture Notes in Computer Science, 5437)
Seipel, Dietmar Hanus, Michael Wolf, Armin
Springer /2009-04-22 Paperback / 263 Pages
isbn-10: 3642006744 / isbn-13: 9783642006746
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5438)
Springer /2009-02-27 Paperback / 194 Pages
isbn-10: 3642005144 / isbn-13: 9783642005145
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science, 1298)
Hanus, Michael Heering, Jan Meinke, Karl
Springer /1997-08-20 Paperback / 308 Pages
isbn-10: 3540634592 / isbn-13: 9783540634591
Problemlösen mit PROLOG (MikroComputer-Praxis) (German Edition)
Vieweg+Teubner Verlag /1987-09-01 Paperback / 224 Pages
isbn-10: 3519125412 / isbn-13: 9783519125419
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science, 1139)
Hanus, Michael Rodriguez-Artalejo, Mario
Springer /1996-09-11 Paperback / 356 Pages
isbn-10: 3540617353 / isbn-13: 9783540617358
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science, 4354)
Springer /2006-12-22 Paperback / 352 Pages
isbn-10: 3540696083 / isbn-13: 9783540696087
Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and ... (Lecture Notes in Computer Science, 3392)
Seipel, Dietmar Hanus, Michael Geske, Ulrich Bartenstein, Oskar
Springer /2005-04-04 Paperback / 324 Pages
isbn-10: 3540255605 / isbn-13: 9783540255604
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Lecture Notes in Computer Science)
Hanus, Michael Inclezan, Daniela
Springer /2023-01-08 Paperback / 332 Pages
isbn-10: 3031248406 / isbn-13: 9783031248405
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings (Lecture Notes in Computer Science)
Hanus, Michael Igarashi, Atsushi
Springer /2022-03-31 Paperback / 300 Pages
isbn-10: 3030994600 / isbn-13: 9783030994600
