Ads related to pre-owned lecture notes in computer science: logic-based program synthesis and transformation: 31st international symposium lopstr 2021 tallinn estonia september 7-8 2021 proceedings paperback
-
Pre-Owned Lecture Notes in Com...This book constitutes the refereed proceedings of the 31st International Confe... This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation LOPSTR 2021 which was held during September 7-8 2021.* The 8 papers presented in this volume were carefully... more
-
Pre-Owned Lecture Notes in Com...This book constitutes the thoroughly refereed post-proceedings of the 11th Int... This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR 2001 held in Paphos Cyprus in November 2001. The 13 revised full papers presented together... more
-
Pre-Owned Lecture Notes in Com...This book constitutes the thoroughly refereed post-proceedings of the 12th Int... This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation LOPSTR 2002 held in Madrid Spain in September 2002. The 15 revised full papers presented together... more
-
Pre-Owned Lecture Notes in Com...This volume contains the proceedings of the ninth international workshop on lo... This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR 99) which was held in Venice (Italy) September 22-24 1999.... more
-
Pre-Owned Lecture Notes in Com...This book presents the thoroughly refereed post-workshop proceedings of the 8t... This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR 98 held in Manchester UK in June 1998. The 16 revised full papers presented were... more
-
Lecture Notes in Computer Scie...This book constitutes the refereed proceedings of the 32nd International Sympo... This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation LOPSTR 2022 which was held during September 21-23 2022. The 8 full papers were selected from 17 submissions and cover... more
-
Lecture Notes in Computer Scie...This book presents revised full papers from the 10th International Workshop on... This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR 2000 held in London UK in July 2000 as part of the International Conference on Computational Logic. The 10 revised... more
Items per page
Ads related to pre-owned lecture notes in computer science: logic-based program synthesis and transformation: 31st international symposium lopstr 2021 tallinn estonia september 7-8 2021 proceedings paperback