EN ورود

کشف منابع

formalmethods

کتاب‌ها

2 نتیجه

Cover of Journal of Applied Logic

English Unordered

Journal of Applied Logic

Wenyan Xu; Sanyang Liu

2012 December مشاهدهٔ کتاب

Cover of ACM Transactions on Computational Logic

English Unordered

ACM Transactions on Computational Logic

Japaridze, Giorgi

2006 April 01 مشاهدهٔ کتاب