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

ITP (Conference) (2017 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: ITP (Conference) (2017 :); Ayala-Rincon, Mauricio.; Munoz, Cesar A.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login