Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings / edited by Alicia Villanueva
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 13474Publisher: Cham : Springer International Publishing, 2022Publisher: Cham : Imprint: Springer, 2022Edition: 1st ed. 2022Description: 1 Online-Ressource(XIII, 155 p. 31 illus., 16 illus. in color.)ISBN:- 9783031167676
No physical items for this record