|  | | | | | | Bild | | | | Bestellen | | | |
|
Springer Verlag 9783319944593 |
€ 49,99*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) Program Termination.- Proving Termination with (Boolean) Satisfaction.- Termination Analysis of Logic Programs Based on Dependency Graphs.- Type-Based Homeomorphic Embedding and Its Applications to... |
Springer Verlag 9783540787686 |
€ 49,99*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) 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, Spa... |
Springer Verlag 9783642005145 |
€ 49,99*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) Towards Scalable Partial Evaluation of Declarative Programs.- Deciding Full Branching Time Logic by Program Transformation.- A Transformational Approach for Proving Properties of the CHR Constraint... |
Springer Verlag 9783642125911 |
€ 49,99*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Mai... |
Springer Verlag 9783030138370 |
€ 49,99*
pro Stück |
| |
|
Springer Verlag 9783030684457 |
€ 74,99*
pro Stück |
| |
|
Springer Verlag 9783030988685 |
€ 54,99*
pro Stück |
| |
|
Springer Verlag 9783319631387 |
€ 49,99*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) 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 ... |
Springer Verlag 9783540657651 |
€ 49,99*
pro Stück |
| |
|
Springer Verlag 9783319274355 |
€ 49,99*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011.... |
Springer Verlag 9783642322105 |
€ 46,00*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgi... |
Springer Verlag 9783642381966 |
€ 46,00*
pro Stück |
| |
Logic-Based Program Synthesis and Transformation (1 Angebot) This book constitutes the refereed proceedings of the 32 International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full pa... |
Springer Verlag 9783031167669 |
€ 54,99*
pro Stück |
| |
|
Springer Verlag 9783031457838 |
€ 54,99*
pro Stück |
| |
|
Springer Verlag 9783031712937 |
€ 57,99*
pro Stück |
| |
|
