Search

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

Search Results

1. Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
thumbnail
Full text!
Author:
Glück, Robert.; Kafle, Bishoksan
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book