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

Full text!
Type:
e-book
Titel:
Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Auteur:
Glück, Robert.; Kafle, Bishoksan
Taal:
Engels
Uitgever:
Cham Springer International Publishing AG 2023
ISBN:
3-031-45783-8
3-031-45784-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:28513194700041