Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Full text!
Format:
e-book
Title:
Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author:
Glück, Robert.; Kafle, Bishoksan
Language:
English
Publisher:
Cham Springer International Publishing AG 2023
ISBN:
3-031-45783-8
3-031-45784-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:28513194700041?locale=en