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

SAT (Conference) (2021 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Theory and applications of satisfiability testing - SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: SAT (Conference) (2021 :); Li, Chu-Min.; Manya, Felip.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login