مرور بر اساس تاریخ انتشار Avigad, Jeremy. ;

Showing results 1 to 1 of 1
PreviewIssue DateTitleContributor(s)
9783319948201.pdf.jpg2018Interactive Theorem ProvingAvigad, Jeremy. ;; Mahboubi, Assia. ;