Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
Jump To : Overview | Titles | Subjects

LOPSTR (Symposium) (2020 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: Fernandez, Maribel.; SpringerLink (Online service); LOPSTR (Symposium) (2020 :) (Electronic resources)
 
 
Change password
Login