Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

Full text!
Type:
e-book
Titel:
Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
Auteur:
De Angelis, Emanuele.; Vanhoof, Wim
Taal:
Engels
Uitgever:
Cham Springer International Publishing AG 2022
ISBN:
3-030-98868-6
3-030-98869-4
Permalink:
http://bibtest.howest.be/catalog/ebk03:21393292300041