Michael Hanus – författare
Visar alla böcker från författaren Michael Hanus. Handla med fri frakt och snabb leverans.
22 produkter
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
Av Dietmar Seipel, Michael Hanus m. fl.
Häftad, 2018
550 kr
Lägg i varukorg
This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. …
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
Av Salvador Abreu, Michael Hanus m. fl.
E-bok, 2018
710 kr
Lägg i varukorg
This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. …
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Av Michael Hanus, Claudio Sacerdoti Coen
Häftad, 2021
566 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were …
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Av Claudio Sacerdoti Coen, Michael Hanus
E-bok, 2021
739 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were …
Functional and Logic Programming
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Av Michael Hanus, Atsushi Igarashi
Häftad, 2022
734 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system …
Functional and Logic Programming
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Av Atsushi Igarashi, Michael Hanus
E-bok, 2022
903 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system …
Practical Aspects of Declarative Languages
25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Av Michael Hanus, Daniela Inclezan
Häftad, 2023
822 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 …
Practical Aspects of Declarative Languages
25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Av Daniela Inclezan, Michael Hanus
E-bok, 2023
1037 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 …
Declarative Programming and Knowledge Management
Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Av Michael Hanus, Ricardo Rocha
Häftad, 2014
544 kr
Lägg i varukorg
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and …
Declarative Programming and Knowledge Management
Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Av Ricardo Rocha, Michael Hanus
E-bok, 2014
657 kr
Lägg i varukorg
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and …
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
Av Dietmar Seipel, Michael Hanus m. fl.
Häftad, 2005
566 kr
Lägg i varukorg
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. …
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
Av Oskar Bartenstein, Ulrich Geske m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. …
Algebraic and Logic Programming
5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Av Michael Hanus, Mario Rodriguez-Artalejo
Häftad, 1996
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an …
Algebraic and Logic Programming
6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Av Michael Hanus, Jan Heering m. fl.
Häftad, 1997
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers …
Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
Häftad, 2006
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented …
Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
E-bok, 2007
739 kr
Lägg i varukorg
Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Häftad, 2009
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were …
Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were …
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
Av Dietmar Seipel, Michael Hanus m. fl.
Häftad, 2009
566 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. …
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
Av Armin Wolf, Michael Hanus m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. …
