Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
by Emanuele De Angelis, Wim Vanhoof Paperback 1
- Author: Emanuele De Angelis, Wim Vanhoof
- ISBN 13: 9783030988685
- ISBN 10: 3030988686
- Publication Year: 1
- Language: English
Specifications
| Index-10 | 3030988686 |
|---|---|
| Index-13 | 9783030988685 |
| Language | English |