مرور بر اساس تاریخ انتشار Logics and Meanings of Programs ;
Showing results 1 to 1 of 1
| Preview | Issue Date | Title | Contributor(s) |
|---|---|---|---|
 | 2017 | Theoretical Aspects of Computing - ICTAC 2017 : | Hung, Dang Van. ; editor ;; Kapur, Deepak. ; editor ; |