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

LOPSTR (Symposium) (2016 :)

Overview
Works: 2 works in 1 publications in 1 languages
Titles
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: LOPSTR (Symposium) (2016 :); Hermenegildo, Manuel V.; Lopez-Garcia, Pedro.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login