紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Logic-based program synthesis and transformationedited by Emanuele De Angelis, Wim Vanhoof. |
其他題名: |
31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings / |
其他題名: |
LOPSTR 2021 |
其他作者: |
De Angelis, Emanuele. |
團體作者: |
|
出版者: |
Cham :Springer International Publishing :2022. |
面頁冊數: |
ix, 177 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Logic programming |
電子資源: |
https://doi.org/10.1007/978-3-030-98869-2 |
ISBN: |
9783030988692$q(electronic bk.) |