Languages
Jump To : Overview | Titles | Subjects

LOPSTR (Symposium) (2023 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: LOPSTR (Symposium) (2023 :); Gluck, R.; Kafle, Bishoksan.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login