(Ilmumisaeg: 09-Jan-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031248412)
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...Loe edasi...
(Ilmumisaeg: 09-Jan-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031248412)
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...Loe edasi...
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 submissio...Loe edasi...
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 submissio...Loe edasi...
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....Loe edasi...
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....Loe edasi...
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...Loe edasi...
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...Loe edasi...
8 mal Smarthome-Technik zum unschlagbaren Paketpreis!Das Smart-Home-Gesamtpaket für Einsteiger und Profis: Hausautomation im Alt- und Neubau, Homematic selbst programmieren oder die eigene KNX-Planung. Hier erfahren Sie alles über die gängigen Sta...Loe edasi...
(Ilmumisaeg: 11-Jul-2014, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319089096)
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...Loe edasi...
(Ilmumisaeg: 21-Apr-2009, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642006753)
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, hel...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 04-Mar-2009, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642005152)
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 pape...Loe edasi...
Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
Sari: Lecture Notes in Artificial Intelligence
(Ilmumisaeg: 01-Apr-2005, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540321248)
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...Loe edasi...
