Search

You searched for: Auteur Vanhoof, Wim Remove constraint Auteur: Vanhoof, Wim
1 entry found
Number of results to display per page

Search Results

1. Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
thumbnail
Full text!
Author:
De Angelis, Emanuele.; Vanhoof, Wim
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book